specula-org / SpeculaLinks

Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code
21Updated last month

Alternatives and similar repositories for Specula

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

Sorting: