verivital / slsf_randgenLinks
Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing
☆17Updated 6 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:
- A model checker and assume/guarantee contract generator for Lustre programs.☆17Updated 7 years ago
- DSVerifier - Digital Systems Verifier☆11Updated 6 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆55Updated 6 months ago
- Automated Analysis Framework for Simulink/Stateflow☆17Updated 2 years ago
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆16Updated 7 years ago
- mBERT is a mutation testing tool that uses a pre-trained language model (CodeBERT) to generate mutants.☆16Updated 5 months ago
- A Python library for learning and verification of neural networks and other machine learning models☆14Updated 4 months ago
- Repository for the paper "T5APR: Empowering Automated Program Repair across Languages through Checkpoint Ensemble."☆11Updated 2 months ago
- An empirical study on patch correctness☆15Updated 3 years ago
- ☆11Updated 4 years ago
- Information to reproduce results from SV-COMP (MOVED, please follow the link)☆15Updated 5 years ago
- ☆20Updated last year
- A Python model checking package☆69Updated last year
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Updated 2 years ago
- A framework for testing compilers' type checkers☆19Updated last year
- Static Analyzer and Verifier☆51Updated last year
- ☆23Updated 2 years ago
- A Fast Floating-Point Satisfiability Solver☆28Updated 5 months ago
- A free, open-source Java library for automata, graphs, and transition systems☆98Updated 2 weeks ago
- Code2Inv: Learning Loop Invariants for Program Verification☆100Updated 4 years ago
- ☆12Updated 3 years ago
- Assume-Guarantee REasoning Environment☆19Updated last month
- KLEEF Symbolic Execution Engine☆21Updated 5 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…☆21Updated 4 years ago
- TriCera: a model checker for C programs☆26Updated last month
- ☆62Updated last year
- Loop invariant generation with LLMs☆30Updated 10 months ago
- EPMC: An Extendible Probabilistic Model Checker☆19Updated last year
- SymDiff-Differential-Program-Verifier☆38Updated 4 months ago
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆26Updated 8 years ago