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☆24Updated 2 months ago
- Static Analyzer and Verifier☆46Updated 4 months ago
- The LTSmin model checking toolset☆57Updated 3 months ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆82Updated 2 months ago
- A framework for testing compilers' type checkers☆52Updated 6 months ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆62Updated 3 weeks ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated 2 weeks ago
- SymDiff-Differential-Program-Verifier☆35Updated 3 weeks ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years 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
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- 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
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 7 months ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆16Updated 2 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- ☆51Updated 8 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆45Updated 2 years ago
- Fully proved small C functions (examples for verification course).☆16Updated 7 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 4 months ago
- Binary analysis in HOL☆35Updated this week
- Public-facing course info for program analysis materials.☆39Updated 2 months ago
- Kodkod solver for relational logic☆74Updated last year
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 3 years ago
- Generates loop invariants for program verification☆61Updated 4 years ago