phreppo / wstat
While language static analyzer
β10Updated 4 years ago
Alternatives and similar repositories for wstat:
Users that are interested in wstat are comparing it to the libraries listed below
- π Regular Expression Denial of Service analyzer.β25Updated last year
- β25Updated 3 years ago
- Apron Numerical Abstract Domain Libraryβ123Updated last month
- β30Updated 8 months ago
- Collection of Verification Tasks (MOVED, please follow the link)β184Updated 3 years ago
- A Python script to create cactus and scatter plots based on matplotlibβ24Updated 4 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises notβ¦β41Updated 3 years ago
- The Git repository for the mCRL2 toolset.β97Updated this week
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.β20Updated this week
- JKind - An infinite-state model checker for safety properties in Lustreβ53Updated 3 months ago
- An automatic recursive function transformer.β10Updated last year
- β12Updated 2 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programsβ94Updated 2 weeks ago
- Automatic parallel divide-and-conquer programs synthesizerβ16Updated 3 years ago
- An abstract-interpretation based static analyzer written in Scala.β33Updated 3 years ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatioβ¦β28Updated last week
- PL conference deadline countdownsβ60Updated last month
- The Ultimate program analysis framework.β217Updated this week
- Randomized Property-Based Testing Plugin for Coqβ263Updated 3 weeks ago
- PPLite: convex polyhedra library for Abstract Interpretationβ25Updated last month
- The Ott tool for writing definitions of programming languages and calculiβ370Updated 3 months ago
- TriCera: a model checker for C programsβ24Updated last month
- The main codex repositoryβ19Updated 6 months ago
- Interactive online editor for the cyclone specification languageβ12Updated 3 weeks ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.β54Updated last year
- Solver for Constrained Horn Clausesβ38Updated this week
- ELINA: ETH LIbrary for Numerical Analysisβ130Updated 2 years ago
- Generates loop invariants for program verificationβ62Updated 4 years ago
- A model checker for infinite-state systems.β74Updated 4 months ago
- PC-miner tool for program chairsβ27Updated last month