Main
/
Contents
Introduction
Installing PRISM
Instructions
Common Problems And Questions
The PRISM Language
Introduction
Example 1
Model Type
Modules And Variables
Initial States
Commands
Parallel Composition
Local Nondeterminism
Module Renaming
Example 2
Constants
Expressions
Synchronisation
Process Algebra Operators
Global Variables
Formulas And Labels
PRISM Language Files
Costs And Rewards
Property Specification
Introduction
Identifying A Set Of States
The P Operator
Quantitative Properties
The S Operator
Reward-based Properties
Syntax And Semantics
Properties Files
Running PRISM
Starting PRISM
Loading And Building a Model
Debugging Models With The Simulator
Exporting The Model
Model Checking
Approximate Computation Of Quantitative Properties
Computing Steady-state And Transient Probabilities
Experiments
Support For PEPA Models
Support For SBML
Explicit Model Import
Configuring PRISM
Introduction
Computation Engines
Iterative Numerical Methods
Other Options
References
PRISM Manual
Contents
Introduction
Installing PRISM
The PRISM Language
Property Specification
Running PRISM
Configuring PRISM
References
FAQ
[
View all
]