Alternatives and similar repositories for EFSM-tools:

Users that are interested in EFSM-tools are comparing it to the libraries listed below

• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆37Updated last year
• thufv / Deagle
  ☆18Updated 5 months ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆52Updated 10 months ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆65Updated 7 months ago
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆74Updated 4 months ago
• sosy-lab / sv-comp
  Information to reproduce results from SV-COMP (MOVED, please follow the link)
  ☆15Updated 4 years ago
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆16Updated 3 months ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated 3 months ago
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆35Updated 9 months ago
• pcousot / slides
  slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
  ☆16Updated 2 years ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆113Updated last year
• RafaelTupynamba / SMTSampler
  SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
  ☆25Updated 5 years ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆122Updated last month
• rshariffdeen / CPR
  CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…
  ☆30Updated 2 years ago
• timed-c / ktc
  KTH's Timed C compiler
  ☆19Updated 3 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆32Updated 6 months ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• coco-team / zustre
  A model checker and assume/guarantee contract generator for Lustre programs.
  ☆15Updated 6 years ago
• kuopinghsu / callgraph-gen
  Generating the call graph from elf binary file
  ☆35Updated last year
• jubnzv / MISRA-Example-Suite
  @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite
  ☆26Updated 5 years ago
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 3 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• ssvlab / dsverifier
  DSVerifier - Digital Systems Verifier
  ☆12Updated 6 years ago
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆160Updated 4 years ago
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆17Updated 4 months ago
• SoftWiser-group / LaM4Inv
  Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference"
  ☆16Updated 7 months ago
• seahorn / verify-c-common
  ☆16Updated 10 months ago
• ChunghaSung / intAbs
  Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
  ☆11Updated 5 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆24Updated this week
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago