hopv / MoCHiView external linksLinks
MoCHi: Model Checker for Higher-Order Programs
☆43Apr 19, 2025Updated 9 months ago
Alternatives and similar repositories for MoCHi
Users that are interested in MoCHi are comparing it to the libraries listed below
Sorting:
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 4 years ago
- An ICE-based predicate synthesizer for Horn clauses.☆53Oct 31, 2025Updated 3 months ago
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.