Fault-lang

Fault-lang's repositories

Fault

a language for building system dynamic models

Language:GoMIT163 7 7

examples

Example specs in Fault

Language:TLA2 20

docs

Documentation on writing models in Fault

Language:SCSSMIT000