Giters

RabbitWhite1 / prism-examples

This repository models some modern complicated distributed protocols

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Prism Examples

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

About

This repository models some modern complicated distributed protocols

Languages

Language:TLA 46.7%Language:Python 43.7%Language:Raku 9.6%