pfeodrippe / recife

A Clojure model checker (using the TLA+/TLC engine)
137Updated 9 months ago

Alternatives and similar repositories for recife:

Users that are interested in recife are comparing it to the libraries listed below