VariantSync / Vatras
Agda Library to Study the Expressive Power of Languages for Static Variability
☆13Updated this week
Related projects ⓘ
Alternatives and complementary repositories for Vatras
- Library for Variability-Aware Differencing and the Analysis of Edits to Preprocessor-Based Software Product Lines☆9Updated last week
- Library for the generation and optimization of domain-specific laser pattern for single-shot structured light 3D reconstruction tasks.☆10Updated 2 months ago
- ☆10Updated 2 months ago
- Geometry types☆26Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- Program synthesis class taught by Loris D'Antoni☆20Updated last month
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆26Updated this week
- Definition of the Viper intermediate verification language.☆79Updated this week
- Translate java jar files into Boogie programs☆12Updated 7 months ago
- PL conference deadline countdowns☆52Updated 2 weeks ago
- LaTeX Styles provided by Dagstuhl Publishing☆33Updated 2 weeks ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆50Updated 7 months ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆36Updated 11 months ago
- Type checking ifdef variability☆76Updated 3 years ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆14Updated last year
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- Apron Numerical Abstract Domain Library☆114Updated 3 months ago
- Tool Support for Correctness-by-Construction☆27Updated last week
- The Gillian Platform main repository☆78Updated this week
- Datalog with support for SMT queries and first-order functional programming☆155Updated 3 weeks ago
- PPLite: convex polyhedra library for Abstract Interpretation☆22Updated 5 months ago
- A toolbox for knowledge compilation☆21Updated 2 weeks ago
- Scalable yet rigorous Floating-point Error Analysis☆11Updated 6 months ago
- A Verified Compiler for Gallina, Written in Gallina☆136Updated 3 months ago
- An automated deductive program verifier.☆39Updated last year
- Hanoi Omega-Automata Format☆14Updated 2 years ago
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆9Updated 3 months ago
- SMTInterpol interpolating SMT solver☆61Updated 4 months ago