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
Sorting:
- PC-miner tool for program chairs☆27Updated last month
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- Static Analyzer and Verifier☆47Updated 7 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated last month
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 3 years ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- An Opinionated Formatter for Verus☆11Updated 2 weeks ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 2 months ago
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Mutation analysis tool for Coq verification projects☆29Updated 4 years ago
- Public-facing course info for program analysis materials.☆41Updated 5 months ago
- ☆17Updated 11 months ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆46Updated 2 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- VATA Tree Automata Library☆32Updated 9 months ago
- ☆52Updated 9 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
- TriCera: a model checker for C programs☆25Updated 3 weeks ago
- Abstract interpreter for real-world application programs☆32Updated 11 years ago
- The semantics of Java in K☆19Updated 3 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆29Updated 7 months ago
- SymDiff-Differential-Program-Verifier☆34Updated last week
- DEciding Equivalence Properties in SECurity protocols☆18Updated 2 years ago
- A model checker for infinite-state systems.☆75Updated 4 months ago
- A framework for testing compilers' type checkers☆52Updated 9 months ago