www.prismmodelchecker.org

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

View - Edit - Print - Search

The PRISM Language /

Local Nondeterminism

Password required

Password:

View - Edit - Print - Search - Login

Page last modified on December 03, 2010, at 01:19 PM

Valid HTML 4.1

Powered by PHP

Valid CSS

Site hosted at the Department of Computer Science, University of Oxford

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