FOrmal Real-Time Scheduler (FORTS). FORTS is a model checker on Linear Hybrid Automata (LHA) that I write in C++. The basic parts of FORTS compose a parser to read LHA models in script inputs and an engine to perform reachability analysis for the safety property. It is specialized for Real-Time Scheduling problems.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element