loonwerks / CASELinks
DARPA CASE program
☆13Updated 2 weeks ago
Alternatives and similar repositories for CASE
Users that are interested in CASE are comparing it to the libraries listed below
Sorting:
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆42Updated 10 months ago
- DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)☆20Updated last month
- ☆19Updated 2 years ago
- SRI Sally: A model checker for infinite-state systems.☆74Updated last week
- ☆33Updated 6 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆54Updated 3 weeks ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆21Updated 3 years ago
- Static Analyzer and Verifier☆47Updated 8 months ago
- DSVerifier - Digital Systems Verifier☆12Updated 6 years ago
- The LTSmin model checking toolset☆60Updated 7 months ago
- SMTInterpol interpolating SMT solver☆66Updated 2 weeks ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆27Updated 7 years ago
- Mutation analysis tool for Coq verification projects☆29Updated 4 years ago
- ☆12Updated last year
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated 2 weeks ago
- Symbolic Execution Engine for Boogie☆29Updated 3 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆29Updated 3 weeks ago
- SymDiff-Differential-Program-Verifier☆36Updated last week
- AE-solver and Skolemizer☆17Updated 6 months ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated 2 months ago
- PC-miner tool for program chairs☆27Updated 3 months ago
- solver for the reachability modulo theories problem☆60Updated last year
- ☆52Updated 9 years ago
- Apron Numerical Abstract Domain Library☆127Updated 3 months ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated 11 months ago
- Automated Controller Synthesis☆15Updated 6 years ago
- ANTLR SMT-LIB v2 Grammar☆23Updated 3 years ago
- Specification and Analysis for Requirements Tool☆20Updated 4 years ago