Library of Spin Models

Summary

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

Models

• Formalization of HIPAA D. Thomas, N. Rehani, S. Berring [Project Page]

Back to Model Checking Page