Popular repositories Loading

1. rust-horn rust-horn Public

   RustHorn: A CHC-based automated verifier for Rust

   SMT 84

2. hoice hoice Public

   An ICE-based predicate synthesizer for Horn clauses.

   Rust 50 11

3. MoCHi MoCHi Public

   MoCHi: Model Checker for Higher-Order Programs

   OCaml 42 5

4. vel vel Public

   Vel: A language for verified low-level software

   Rust 15

5. r_type r_type Public

   A model-checker for caml programs.

   OCaml 13 2

6. syng syng Public

   Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda

   Agda 11