Popular repositories

1. hoice hoice Public

   An ICE-based predicate synthesizer for Horn clauses.

   Rust 47 11

2. rust-horn rust-horn Public

   RustHorn: A CHC-based automated verifier for Rust

   SMT 44

3. MoCHi MoCHi Public

   MoCHi: Model Checker for Higher-Order Programs

   OCaml 39 5

4. r_type r_type Public

   A model-checker for caml programs.

   OCaml 13 2

5. vel vel Public

   Vel: A language for verified low-level software

   Rust 13

6. horsat2 horsat2 Public

   saturation-based HORS model checker

   OCaml 8