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:
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated last month
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Updated 7 years ago
- DSVerifier - Digital Systems Verifier☆11Updated 6 years ago
- Automated Analysis Framework for Simulink/Stateflow☆16Updated 2 years ago
- Static Analyzer and Verifier☆48Updated 10 months ago
- A Python model checking package☆66Updated 11 months ago
- ☆11Updated 4 years ago
- Intrepyd Model Checker☆18Updated 3 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated last month
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Updated 2 years ago
- ☆12Updated 2 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated last week
- ☆17Updated last year
- Information to reproduce results from SV-COMP (MOVED, please follow the link)☆15Updated 4 years ago
- Debugging Prototype Avicenna☆10Updated 6 months ago
- Toolset to do differential testing on the Clang Static Analyzer☆21Updated 2 years ago
- ELINA: ETH LIbrary for Numerical Analysis☆133Updated 2 years ago
- A framework for testing compilers' type checkers☆17Updated 8 months ago
- A mutation tool for source and IR☆13Updated 6 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆97Updated 4 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- A Python library for learning and verification of neural networks and other machine learning models☆11Updated 3 weeks ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Updated 7 years ago
- Assume-Guarantee REasoning Environment☆16Updated last week
- ☆19Updated 2 years ago
- KLEEF Symbolic Execution Engine☆19Updated last week
- Bit-bLAsting solving Non-linear integer constraints.☆22Updated last month
- A Fast Floating-Point Satisfiability Solver☆29Updated 2 weeks 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…☆22Updated 4 years ago
- SymDiff-Differential-Program-Verifier☆36Updated last month