Principles of Model Checking

www.prismmodelchecker.org

Home
•
About
- » About PRISM
- » People
- » Sponsors
- » Contact
- » News
•
Downloads
- » PRISM
- » PRISM-games
- » Benchmarks
- » GitHub
- » 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
- » GitHub
- » Developer resources
- » Developer forum
•
PRISM-games
- » Download
- » Publications

[BK08] C. Baier and J.-P. Katoen. Principles of Model Checking. MIT Press. 2008. [bib]

Downloads: $bib$ bib

Links: [Google] [Google Scholar]

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

Publications

Selected publications
PRISM publications
PRISM bibliography
External publications
References
Search