Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Verification Tool Library
Home
README
Search for Tools
Browse Tool Library
Members
Tutorials
Tutorial - SpaceEx
Files
CPS-VO
»
CPS Tools and Design Studios
»
Verification Tool Library
» TIMED AUTOMATA
Timed Automata
wikipage
TREX
Submitted by jkenanian on Tue, 05/23/2017 - 7:06pm
Validation and Verification
Tool
Free
Timed Automata
Reachability analysis
wikipage
Red
Submitted by jkenanian on Tue, 05/23/2017 - 7:00pm
Validation and Verification
Tool
Free
Timed Automata
Guaranteed to terminate
Model checking
wikipage
Open-Kronos
Submitted by akarns on Mon, 05/08/2017 - 11:14am
Validation and Verification
Tool
Contact the author
Own language
Timed Automata
Depth-first Search Algorithms
On-the-fly model checking
Guaranteed to terminate
Model checking
