verivital / slsf_randgenLinks
Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing
☆17Updated 5 years ago
Alternatives and similar repositories for slsf_randgen
Users that are interested in slsf_randgen are comparing it to the libraries listed below
Sorting:
- Automated Analysis Framework for Simulink/Stateflow☆16Updated last year
- DSVerifier - Digital Systems Verifier☆12Updated 6 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆54Updated 2 weeks ago
- Information to reproduce results from SV-COMP (MOVED, please follow the link)☆15Updated 4 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Updated 7 years ago
- ☆11Updated 4 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated 2 years ago
- A Python library for learning and verification of neural networks and other machine learning models☆11Updated last week
- A Python model checking package☆66Updated 10 months ago
- Static Analyzer and Verifier☆48Updated 9 months ago
- ☆12Updated 2 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆96Updated 4 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 6 months ago
- ☆17Updated last year
- Debugging Prototype Avicenna☆10Updated 5 months ago
- Loop invariant generation with LLMs☆24Updated 4 months ago
- Toolset to do differential testing on the Clang Static Analyzer☆21Updated 2 years ago
- SymDiff-Differential-Program-Verifier☆36Updated last week
- An empirical study on patch correctness☆15Updated 2 years ago
- A mutation tool for source and IR☆13Updated 6 years ago
- CTL (Computation Tree Logic) SAT solver☆15Updated 5 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆31Updated 2 years ago
- ☆101Updated 5 years ago
- Frama-C plugins for deadlock and data race detection☆13Updated last month
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆9Updated 3 months ago
- Automated Controller Synthesis☆15Updated 7 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆17Updated last year
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆25Updated 8 years ago