parof / wstat
While language static analyzer
☆10Updated 3 years ago
Related projects: ⓘ
- Apron Numerical Abstract Domain Library☆102Updated last month
- ☆24Updated 2 years ago
- 🐀 Regular Expression Denial of Service analyzer.☆24Updated 7 months 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
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated last month
- The Termination Problem Database☆27Updated 3 months ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 2 years ago
- Randomized Property-Based Testing Plugin for Coq☆249Updated this week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆496Updated last month
- ELINA: ETH LIbrary for Numerical Analysis☆129Updated last year
- Duet: static analysis for unbounded concurrency☆23Updated last month
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆16Updated last week
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- Verified Software Toolchain☆436Updated this week
- My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.☆23Updated 9 years ago
- Metaprogramming, verified meta-theory and implementation of Coq in Coq☆367Updated this week
- PPLite: convex polyhedra library for Abstract Interpretation☆15Updated 3 months ago
- Formal verification for OCaml☆253Updated last month
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆85Updated 2 weeks ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- The Vellvm (Verified LLVM) coq development.☆389Updated last week
- ☆30Updated 3 weeks ago
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆211Updated last month
- Oink, an implementation of modern parity game solvers☆31Updated last month
- The Ultimate program analysis framework.☆194Updated this week
- An automated deductive program verifier.☆39Updated last year
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆49Updated 4 months ago
- The Ott tool for writing definitions of programming languages and calculi☆341Updated this week
- A Library for Representing Recursive and Impure Programs in Coq☆199Updated 5 months ago
- ☆11Updated last month