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

Configuring PRISM /

Automata Generation

Password required

Password:

View - Edit - Print - Search - Login

Page last modified on July 14, 2015, at 10:09 AM

Valid HTML 4.1

Powered by PHP

Valid CSS

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

PRISM Manual

Configuring PRISM

Introduction
Computation Engines
Solution Methods And Options
Automata Generation
Other Options