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:
- Collection of Verification Tasks (MOVED, please follow the link)☆186Updated 4 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆25Updated 4 years ago
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,221Updated last week
- Apron Numerical Abstract Domain Library☆142Updated 8 months ago
- A gently curated list of companies using verification formal methods in industry☆579Updated last month
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 4 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆534Updated 6 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 4 months ago
- Boogie☆561Updated last week
- The efficient SMT-based context-bounded model checker (ESBMC)☆405Updated this week
- 🐀 Regular Expression Denial of Service analyzer.☆25Updated last year
- Formal Reasoning About Programs☆712Updated last week
- An automatic recursive function transformer.☆10Updated 2 years ago
- SRI Yices SMT Solver☆435Updated 2 months ago
- The Ott tool for writing definitions of programming languages and calculi☆394Updated 11 months ago
- Repositorio de la optativa para la FCEIA☆15Updated 7 months ago
- The Vampire Theorem Prover☆366Updated this week
- ELINA: ETH LIbrary for Numerical Analysis☆135Updated 2 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆250Updated this week
- Verified Software Toolchain☆478Updated last week
- PPLite: convex polyhedra library for Abstract Interpretation☆28Updated last month
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated 2 weeks ago
- Automatic parallel divide-and-conquer programs synthesizer☆16Updated 3 years ago
- The Vellvm (Verified LLVM) coq development.☆448Updated this week
- Visual Studio Code extension for Coq☆417Updated this week
- Randomized Property-Based Testing Plugin for Coq☆276Updated this week
- ANTLR SMT-LIB v2 Grammar☆24Updated 3 years ago
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆483Updated last week
- The Ultimate program analysis framework.☆234Updated this week
- Translate java jar files into Boogie programs☆12Updated last year