• Home
•  • 
• About
  • » About PRISM
  • » People
  • » Sponsors
  • » Contact
  • » News
  • » Screenshots
  • » Other tools
  • » Links
•  • 
• Downloads
  • » PRISM
  • » Development versions
  • » Benchmarks
  • » PRISM-games
  • » Other downloads
•  • 
• Documentation
  • » Installation
  • » Manual
  • » FAQ
  • » Tutorial
  • » Lectures
•  • 
• Manual
•  • 
• Publications
  • » Selected publications
  • » PRISM publications
  • » PRISM bibliography
  • » External publications
  • » Search
•  • 
• Case Studies
•  • 
• Support
  • » Installation FAQ
  • » PRISM FAQ
  • » Forum (Google)
•  • 
• Developers
  • » Developer resources
  • » Developer forum
•  • 
• PRISM-games
  • » Download
  • » Publications

PRISM Manual

Running PRISM

• Starting PRISM
• Loading And Building a Model
• Debugging Models With The Simulator
• Exporting The Model
• Model Checking
• Statistical Model Checking
• Computing Steady-state And Transient Probabilities
• Experiments
• Strategies
• Support For PEPA Models
• Support For SBML
• Explicit Model Import
• Parametric Model Checking

[ View all ]