/prism-examples

This repository models some modern complicated distributed protocols

Primary LanguageTLA

Prism Examples

This repository maintains some protocols implemented in Prism for stochastical model checking.