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
» MODEL CHECKING
Model checking
wikipage
SpeeDI
Submitted by akarns on Mon, 05/08/2017 - 11:51am
Validation and Verification
Tool
Free
Own interface
Own language
Linux
Mac OS X
Windows
Polygonal Hybrid Systems
Simple Planar Differential Inclusions
Guaranteed to terminate
Model checking
wikipage
C2E2
Submitted by akarns on Mon, 05/08/2017 - 11:37am
Validation and Verification
Tool
Free
Own interface
Own language
Linux
Nonlinear hybrid systems
On-the-fly Discrepancy Computation
Overapproximations
Reach Tubes
Guaranteed to terminate
Model checking
wikipage
CheckMate
Submitted by krogh on Mon, 05/08/2017 - 11:28am
Validation and Verification
Tool
Free
Matlab
Simulink
Linux
Mac OS X
Windows
Nonlinear hybrid systems
Counterexample-Guided Abstraction Refinement
Not guaranteed to terminate
Model checking
wikipage
Kronos
Submitted by admin on Tue, 02/28/2017 - 6:10pm
Validation and Verification
Tool
Free
Own language
Linux
Windows
Network of timed automata
Abstractions
On-the-fly model checking
Syntactic optimization
Guaranteed to terminate
Model checking
« first
‹ previous
1
2
