phreppo / wstat
While language static analyzer
☆10Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for wstat
- ☆23Updated 3 years ago
- 🐀 Regular Expression Denial of Service analyzer.☆24Updated 8 months ago
- Apron Numerical Abstract Domain Library☆112Updated 2 months ago
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago
- ELINA: ETH LIbrary for Numerical Analysis☆129Updated last year
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years 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
- The Git repository for the mCRL2 toolset.☆88Updated this week
- Randomized Property-Based Testing Plugin for Coq☆254Updated last week
- The Ott tool for writing definitions of programming languages and calculi☆347Updated last month
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated 3 weeks ago
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- Verified Software Toolchain☆443Updated this week
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆217Updated 3 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- The Termination Problem Database☆27Updated 4 months ago
- Duet: static analysis for unbounded concurrency☆23Updated last week
- ☆30Updated 3 months ago
- A Fast Floating-Point Satisfiability Solver☆20Updated 5 years ago
- SMTInterpol interpolating SMT solver☆60Updated 4 months ago
- K Framework Tools 7.0☆452Updated this week
- Metaprogramming, verified meta-theory and implementation of Coq in Coq☆380Updated this week
- Information to reproduce results from SV-COMP (MOVED, please follow the link)☆15Updated 4 years ago
- Research prototype tool for modular formal verification of C and Java programs☆361Updated 2 weeks ago
- A work-in-progress language and compiler for verified low-level programming☆297Updated last month
- The Ultimate program analysis framework.☆198Updated this week
- Automatic parallel divide-and-conquer programs synthesizer☆16Updated 2 years ago
- The Vampire Theorem Prover☆297Updated last week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆86Updated last month