• 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

The PRISM Language

• Introduction
• Example 1
• Model Type
• Modules And Variables
• Commands
• Parallel Composition
• Local Nondeterminism
• CTMCs
• Example 2
• Constants
• Expressions
• Synchronisation
• Module Renaming
• Multiple Initial States
• Global Variables
• Formulas And Labels
• Costs And Rewards
• Real-time Models
• Partially Observable Models
• Uncertain Models
• Process Algebra Operators
• PRISM Model Files

[ View all ]