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 /

Computation Engines

Password required

Password:

View - Edit - Print - Search - Login

Page last modified on March 18, 2021, at 11:08 PM

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