mmjb / T2Links
T2 Temporal Prover
☆95Updated 7 years ago
Alternatives and similar repositories for T2
Users that are interested in T2 are comparing it to the libraries listed below
Sorting:
- ☆89Updated 3 years ago
- Lem semantic definition language☆139Updated 2 months ago
- Randomized Property-Based Testing Plugin for Coq☆264Updated this week
- Communication between Coq and SAT/SMT solvers☆159Updated 8 months ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- A model checker for infinite-state systems.☆75Updated last week
- OCamlPro public development repository for Alt-Ergo☆138Updated 3 weeks ago
- Sources for the ANSI/ISO C Specification Language manual☆57Updated last month
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated 10 months ago
- ☆33Updated 10 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)