pfeodrippe / recife

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

Alternatives and similar repositories for recife:

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