EngineeringSoftware / mcoq
Mutation analysis tool for Coq verification projects
☆30Updated 4 years ago
Alternatives and similar repositories for mcoq:
Users that are interested in mcoq are comparing it to the libraries listed below
- Tool for suggesting lemma names in Coq verification projects☆19Updated 2 years ago
- TriCera: a model checker for C programs☆24Updated last week
- SMTInterpol interpolating SMT solver☆63Updated 3 weeks ago
- Solver for Constrained Horn Clauses☆35Updated this week
- Binary analysis in HOL☆35Updated last week
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- Tons of Inductive Problems: The Benchmarks☆25Updated last year
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆69Updated this week
- ☆16Updated 9 months ago
- Generates loop invariants for program verification☆61Updated 4 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- SymDiff-Differential-Program-Verifier☆35Updated last month
- Frama-C plugins for deadlock and data race detection☆11Updated 2 months ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated this week
- Static Analyzer and Verifier☆46Updated 4 months ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆19Updated this week
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆48Updated 5 years ago
- SIGPLAN website☆10Updated this week
- AE-solver and Skolemizer☆16Updated 2 months ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- Genetic program repair using GHC☆30Updated 9 months ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- MoCHi: Model Checker for Higher-Order Programs☆41Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated last week
- Clover: Closed-Loop Verifiable Code Generation☆31Updated 9 months ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated last year
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- Python client for coq-lsp☆32Updated 4 months ago
- PC-miner tool for program chairs☆24Updated this week