rems-project / reviewing-good-and-bad-reasonsLinks
☆14Updated 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
Sorting:
- PC-miner tool for program chairs☆28Updated last week
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Updated 2 years ago
- Static Analyzer and Verifier☆48Updated 11 months ago
- Fuzz testing for Dafny☆13Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 2 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 6 months ago
- SymDiff-Differential-Program-Verifier☆37Updated last month
- An Opinionated Formatter for Verus☆11Updated 3 weeks ago
- Mutation analysis tool for Coq verification projects☆29Updated 4 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆102Updated 4 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Updated last month
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆31Updated last week
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆29Updated last year
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 11 months ago
- Efficient Sampling of SAT Solutions for Testing☆35Updated 6 years ago
- A framework for testing compilers' type checkers☆56Updated last year
- The LTSmin model checking toolset☆60Updated 10 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- SRI Sally: A model checker for infinite-state systems.☆73Updated last month
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆105Updated last week
- The VerCors verification toolset for verifying parallel and concurrent software☆78Updated this week
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆13Updated 3 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆41Updated 2 years ago
- Apron Numerical Abstract Domain Library☆134Updated 6 months ago
- A Fast Floating-Point Satisfiability Solver☆29Updated last month
- Generates loop invariants for program verification☆62Updated 4 years ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆76Updated last month
- The Eldarica model checker☆92Updated this week
- ☆88Updated 3 years ago