phreppo / wstat
While language static analyzer
☆10Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for wstat
- 🐀 Regular Expression Denial of Service analyzer.☆24Updated 9 months ago
- Apron Numerical Abstract Domain Library☆114Updated 3 months ago
- ELINA: ETH LIbrary for Numerical Analysis☆128Updated last year
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- ☆23Updated 3 years ago
- ☆30Updated 3 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆503Updated 3 months ago
- The Ott tool for writing definitions of programming languages and calculi☆349Updated 2 months ago
- Boogie☆514Updated this week
- The Vellvm (Verified LLVM) coq development.☆400Updated this week
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆52Updated 3 weeks ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- Formal verification for OCaml☆255Updated 3 months ago
- Troupe programming language☆21Updated last month
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- The Termination Problem Database☆27Updated 5 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated 3 weeks ago
- ☆19Updated 7 months ago
- A work-in-progress language and compiler for verified low-level programming☆296Updated last week
- Visual Studio Code extension for Coq☆344Updated this week
- TriCera: a model checker for C programs☆18Updated last week
- Research prototype tool for modular formal verification of C and Java programs☆365Updated 3 weeks ago
- SeaHorn Verification Framework☆441Updated 2 months ago
- The Git repository for the mCRL2 toolset.☆88Updated this week
- Oink, an implementation of modern parity game solvers☆31Updated 3 months ago
- Metaprogramming, verified meta-theory and implementation of Coq in Coq☆384Updated this week
- Randomized Property-Based Testing Plugin for Coq☆254Updated this week
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆50Updated 6 months ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago