nimble-code / Modex
a model extractor, to automatically extract Spin verification models from multi-threaded C code
☆21Updated last month
Alternatives and similar repositories for Modex:
Users that are interested in Modex are comparing it to the libraries listed below
- ☆19Updated last year
- Static Analyzer and Verifier☆46Updated 4 months ago
- A model checker for infinite-state systems.☆70Updated 2 months ago
- Semantic program repair system for C programs☆97Updated 2 years ago
- A verification tool for many memory models☆84Updated this week
- An interactive (fast) static source code analyzer☆143Updated 3 weeks ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆27Updated 2 months ago
- Examples and case-study that use OSATE☆56Updated 4 years ago
- ☆16Updated 8 months ago
- Automated Analysis Framework for Simulink/Stateflow☆16Updated last year
- DSVerifier - Digital Systems Verifier☆12Updated 5 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated last month
- The LTSmin model checking toolset☆57Updated 3 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆92Updated this week
- A library for building abstract interpretation-based analyses☆236Updated 3 months ago
- A model-based API Fuzzer for SMT Solvers.☆13Updated last week
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆46Updated last month
- Dynamic Analysis for Concurrent Programs☆22Updated 4 months ago
- Generates loop invariants for program verification☆60Updated 4 years ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated 9 months ago
- KTH's Timed C compiler☆19Updated 3 years ago
- Open Source AADL2 Tool Environment☆41Updated 3 months 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…☆20Updated 3 years ago
- Static Slicer for LLVM☆66Updated 9 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- TriCera: a model checker for C programs☆24Updated last week
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆57Updated last year
- Apron Numerical Abstract Domain Library☆121Updated last month
- Automated Controller Synthesis☆15Updated 6 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week