/examples

Example specs in Fault

Primary LanguageTLA

Fault Examples

This is a repo full of example specs written in Fault with some equivalent specs written in TLA+ for comparison/reference.