magicicada / cp
☆22Updated 3 weeks ago
Alternatives and similar repositories for cp:
Users that are interested in cp are comparing it to the libraries listed below
- ☆24Updated 3 years ago
- ☆12Updated this week
- ☆12Updated this week
- Browser extension for VVZ (ETHZ)☆10Updated 2 months ago
- RV-Monitor core system code☆16Updated 3 years ago
- ☆227Updated 6 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆53Updated 9 months ago
- Race Condition Running☆12Updated this week
- A Framework for Deep Neural Network Verification☆56Updated 2 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆513Updated last week
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆55Updated 5 years ago
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆46Updated last month
- Repositorio de la optativa para la FCEIA☆16Updated 5 months ago
- ☆19Updated last week
- Static Analysis Framework for Modular Analyses☆12Updated this week
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated last week
- ☆34Updated this week
- A fuzzing framework for SMT solvers☆187Updated last year
- A proof assistant for higher-dimensional type theory☆164Updated 2 weeks ago
- Programming exercises for algorithm design☆46Updated last year
- Logic and Mechanized Reasoning☆95Updated 2 weeks ago
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆83Updated 3 years ago
- Loop invariant generation with LLMs☆18Updated last month
- ☆40Updated 2 months ago
- Program synthesis class taught by Loris D'Antoni☆27Updated 2 months ago
- Communication between Coq and SAT/SMT solvers☆158Updated 5 months ago
- Randomized Property-Based Testing Plugin for Coq☆263Updated 2 weeks ago