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
» DISCRETE/CONTINUOUS AND DETERMINISTIC/NONDETERMINISTIC PROBABILISTIC MODELS
Discrete/continuous and deterministic/nondeterministic probabilistic models
wikipage
PRISM
Submitted by akarns on Mon, 05/08/2017 - 10:52am
Validation and Verification
Tool
Free
Own interface
Own language
Linux
Mac OS X
Windows
Continuous-time Markov chains
Discrete-time Markov chains
Discrete/continuous and deterministic/nondeterministic probabilistic models
Markov decision processes
Probabilistic automata
Probabilistic timed automata
Quantitative abstraction refinement
Guaranteed to terminate
Probabilistic model checking
