Armin-Montigny / MCDC
Create minimum MCDC test sets for a boolean expression
☆38Updated 4 years ago
Alternatives and similar repositories for MCDC:
Users that are interested in MCDC are comparing it to the libraries listed below
- The HW-CBMC and EBMC Model Checkers for Verilog☆65Updated this week
- ☆51Updated 9 years ago
- Toolset to do differential testing on the Clang Static Analyzer☆22Updated 2 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- KLEEF Symbolic Execution Engine☆15Updated 2 months ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆56Updated 9 years ago
- A verification tool for many memory models☆86Updated this week
- The opensmt solver☆82Updated last week
- Static Analyzer and Verifier☆47Updated 5 months ago
- Reads a state transition system and performs property checking☆77Updated last month
- ☆19Updated 2 years ago
- Examples for TracerX KLEE☆9Updated 4 years ago
- static analysis benchmarks from Toyota ITC☆114Updated last year
- A model checker for infinite-state systems.☆74Updated 3 months ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆238Updated this week
- ☆16Updated 10 months ago
- Pono: A flexible and extensible SMT-based model checker☆95Updated this week
- Implementation of multi-core (binary) decision diagrams☆72Updated 10 months ago
- Solver for Constrained Horn Clauses☆37Updated this week
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated 2 months ago
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆33Updated 3 weeks ago
- Semantic program repair system for C programs☆99Updated 2 years ago
- CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.☆18Updated 3 years ago
- Intrepyd Model Checker☆18Updated 3 years ago
- A higher order mutation testing tool☆58Updated 4 years ago
- An interactive (fast) static source code analyzer☆158Updated 2 weeks ago
- ☆27Updated this week
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆24Updated last year
- Static Slicer for LLVM☆66Updated 9 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago