mmjb / T2
T2 Temporal Prover
☆94Updated 7 years ago
Alternatives and similar repositories for T2:
Users that are interested in T2 are comparing it to the libraries listed below
- This project contains various supporting libraries for lean to reason about protocols.☆42Updated 7 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated 7 months ago
- Lem semantic definition language☆137Updated last week
- Communication between Coq and SAT/SMT solvers☆158Updated 6 months ago
- A model checker for infinite-state systems.☆73Updated 3 months ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆146Updated 3 years ago
- The SAW core language.☆54Updated 3 years ago
- PeaCoq is a pretty Coq, isn't it?☆106Updated 3 years ago
- Randomized Property-Based Testing Plugin for Coq☆263Updated last week
- ☆89Updated 3 years ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- A mechanisation of Wasm in Coq(Rocq)☆101Updated this week
- Core components for the Scribble Java tools☆56Updated 5 months ago
- ☆54Updated 3 weeks ago
- Lecture material for DeepSpec Summer School 2017☆87Updated 3 years ago
- Luck -- A Language for Property-Based Generators☆34Updated 3 weeks ago
- ☆33Updated 10 years ago
- Cogent Project☆161Updated 2 years ago
- Robots powered by Constructive Reals☆34Updated 7 years ago
- The Ynot Project source code.☆21Updated 10 years ago
- Implementation of Univalence in Cubical Sets☆144Updated 9 years ago
- Symbolic formula representation and solver interaction library☆157Updated last week
- Linear Dependent Types for Differential Privacy TypeChecker☆31Updated 5 years ago
- The LTSmin model checking toolset☆57Updated 4 months ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆151Updated 2 weeks ago
- LVC verified compiler☆57Updated 6 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Coq library for verified low-level programming☆57Updated 7 years ago
- Higher-order optimization library☆74Updated last year
- Hoare Type Theory☆73Updated 2 months ago