rems-project / reviewing-good-and-bad-reasons
☆12Updated 3 years ago
Alternatives and similar repositories for reviewing-good-and-bad-reasons:
Users that are interested in reviewing-good-and-bad-reasons are comparing it to the libraries listed below
- PC-miner tool for program chairs☆27Updated last week
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago
- SymDiff-Differential-Program-Verifier☆34Updated 3 weeks ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 2 years ago
- Abstract interpreter for real-world application programs☆32Updated 11 years ago
- Static Analyzer and Verifier☆47Updated 5 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆49Updated 5 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 8 months ago
- Mutation analysis tool for Coq verification projects☆30Updated 4 years ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 3 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Code for enumeration from a CFG☆18Updated last year
- DIversity in VerificAtion☆7Updated last year
- A model checker for infinite-state systems.☆74Updated 3 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 5 months ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆46Updated 2 years ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- ☆10Updated 10 years ago
- KITTeL/KoAT☆21Updated 6 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- The LTSmin model checking toolset☆57Updated 4 months ago
- ☆40Updated 5 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 weeks ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated 2 years ago
- Alloy with browser-based visualizations☆29Updated 3 years ago