资 源 简 介
SyMBoLRT is a test case generation tool for real-time systems. The purpose of this project is to provide a friendly environment for test developers, since the usage of SyMBoLRT requires knowledge in all theory involved in TIOSTS models and other details that aren"t intersting for users