Library of PRISM Models

Summary

For reference, a number of PRISM models that were developed for research and class projects are collected here.

Models

• BitTorrent Nathan Marz, Raylene Yung. [Project Page]

Back to Model Checking Page