phreppo / wstatLinks
While language static analyzer
☆10Updated 5 years ago
Alternatives and similar repositories for wstat
Users that are interested in wstat are comparing it to the libraries listed below
Sorting:
- Apron Numerical Abstract Domain Library☆137Updated 7 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆530Updated 4 months ago
- Collection of Verification Tasks (MOVED, please follow the link)☆185Updated 3 years ago
- Visual Studio Code extension for Coq☆411Updated last week
- An automatic recursive function transformer.☆10Updated 2 years ago
- Randomized Property-Based Testing Plugin for Coq☆272Updated last month
- Boogie☆558Updated last week
- The Ott tool for writing definitions of programming languages and calculi☆390Updated 9 months ago
- ELINA: ETH LIbrary for Numerical Analysis☆133Updated 2 years ago
- Verified Software Toolchain☆470Updated this week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- A gently curated list of companies using verification formal methods in industry☆575Updated last week
- The Vellvm (Verified LLVM) coq development.☆443Updated this week
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated 2 months ago
- Formal Reasoning About Programs☆705Updated 3 weeks ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 3 months ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 3 years ago
- ☆24Updated 3 years ago
- Communication between Coq and SAT/SMT solvers☆160Updated 3 weeks ago
- Formal verification for OCaml☆267Updated last year
- A Python script to create cactus and scatter plots based on matplotlib☆25Updated 4 years ago
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆472Updated last week
- The Git repository for the mCRL2 toolset.☆101Updated this week
- A Library for Representing Recursive and Impure Programs in Coq☆233Updated 2 weeks ago
- PC-miner tool for program chairs☆29Updated last month
- The main codex repository☆24Updated last year
- PL conference deadline countdowns☆62Updated last month
- Generates loop invariants for program verification☆63Updated 4 years ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆355Updated this week