ckaestne / TypeChefLinks
Type checking ifdef variability
☆79Updated 4 years ago
Alternatives and similar repositories for TypeChef
Users that are interested in TypeChef are comparing it to the libraries listed below
Sorting:
- Staged Abstract Interpreters☆68Updated 2 years ago
- The LTSmin model checking toolset☆60Updated last year
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 4 months ago
- Java bytecode generator for sound and precise partial program analysis☆24Updated 4 years ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 5 years ago
- The Ultimate program analysis framework.☆237Updated this week
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆247Updated last year
- Static Analyzer and Verifier☆51Updated last year
- Automatic regression verification for LLVM programs☆19Updated 4 years ago
- SMTInterpol interpolating SMT solver☆68Updated 3 weeks ago
- Release snapshots of the Frama-C platform for source code analysis☆178Updated 5 years ago
- Public snapshots of "ACSL by Example"☆119Updated 6 months ago
- Dynamic detection of likely invariants☆239Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆85Updated last week
- A static verifier for concurrent C programs☆136Updated 4 years ago
- SymDiff-Differential-Program-Verifier☆38Updated 3 months ago
- Coq library for verified low-level programming☆61Updated 8 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆58Updated last week
- MIT's abstract interpretation class taught by Cousot☆40Updated 11 years ago
- Frama-C and WP tutorial☆66Updated 8 months ago
- ☆41Updated 6 years ago
- Semantic program repair system for C programs☆101Updated 3 years ago
- descartes: the cartesian hoare logic prover☆12Updated 8 years ago
- Lem semantic definition language☆148Updated 8 months ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆21Updated 3 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 9 months ago
- SRI Sally: A model checker for infinite-state systems.☆75Updated 4 months ago