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
» STATISTICAL TECHNIQUES
Statistical techniques
wikipage
UPPAAL STRATEGO
Submitted by akarns on Mon, 05/08/2017 - 10:14am
Validation and Verification
Tool
Free
Model editor integrated
Own language
Linux
Windows
Priced timed automata
Stochastic timed automata
Statistical techniques
Timed automata abstractions
Guaranteed to terminate
wikipage
UPAAL SMC
Submitted by akarns on Mon, 05/08/2017 - 10:12am
Validation and Verification
Tool
Free
Model editor integrated
Own language
Linux
Mac OS X
Windows
Priced timed automata
Statistical techniques
Timed automata abstractions
Guaranteed to terminate
Statistical model checking