nyu-acsys / ravenLinks
An automated deductive program verifier based on concurrent separation logic
☆20Updated last week
Alternatives and similar repositories for raven
Users that are interested in raven are comparing it to the libraries listed below
Sorting:
- ☆54Updated last week
- ☆39Updated last week
- ☆27Updated last year
- Solver for Constrained Horn Clauses☆44Updated this week
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 2 months ago
- ☆15Updated last year
- Formalization of C++ for verification purposes.☆84Updated last week
- PL conference deadline countdowns☆61Updated last month
- Separation Logic Proofs in Lean☆41Updated 4 months ago
- Ltac2 tutorial☆45Updated 2 years ago
- TriCera: a model checker for C programs☆25Updated last week
- Communication between Coq and SAT/SMT solvers☆160Updated 11 months ago
- ☆24Updated 2 months ago
- Libraries useful for Dafny programs