paralin/tla

v0.1.0MIT

Model your whole program in TLA+, with each spec beside the code it describes, checked by tla-ts. Then simplify the spec and the code together.

paralin publishes tla in 2 places.