Alternatives and similar repositories for MCDC:

Users that are interested in MCDC are comparing it to the libraries listed below

• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆113Updated last year
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆160Updated last month
• nimble-code / Modex
  a model extractor, to automatically extract Spin verification models from multi-threaded C code
  ☆22Updated 3 months ago
• diffblue / hw-cbmc
  The HW-CBMC and EBMC Model Checkers for Verilog
  ☆67Updated this week
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 6 months ago
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆17Updated 3 months ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 2 years ago
• osate / examples
  Examples and case-study that use OSATE
  ☆57Updated last week
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆170Updated 4 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆99Updated 2 years ago
• smaccm / smaccm
  ☆33Updated 5 years ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆48Updated last week
• yuejia / Milu
  A higher order mutation testing tool
  ☆57Updated 4 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆44Updated 6 months ago
• seahorn / verify-c-common
  ☆17Updated 10 months ago
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆23Updated 3 years ago
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆37Updated last year
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆160Updated 4 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆239Updated 6 months ago
• LVPGroup / arinc653model
  A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)
  ☆9Updated 8 years ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆123Updated last month
• loonwerks / formal-methods-workbench
  ☆19Updated 2 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆91Updated last week
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆59Updated 2 weeks ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆223Updated this week
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆109Updated 3 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated 3 months ago
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆74Updated 4 months ago
• reeteshranjan / libgcov-embedded
  Port of libgcov portions to enable a way to generate GCDA files for embedded systems
  ☆32Updated 8 years ago