FAMILIAR-project / teaching
Repository of teaching material for product lines and variability
☆12Updated last year
Alternatives and similar repositories for teaching:
Users that are interested in teaching are comparing it to the libraries listed below
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated 3 months ago
- A tool for Model Based Testing☆47Updated 2 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆65Updated last year
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- PC-miner tool for program chairs☆24Updated last month
- Static checker for Java☆84Updated this week
- GenProg: heuristic, GP-based automatic program repair for C.☆93Updated 3 years ago
- Hanoi Omega-Automata Format☆14Updated 2 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 2 years ago
- SMTInterpol interpolating SMT solver☆61Updated 6 months ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago
- RV-Monitor core system code☆16Updated 3 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 3 months ago
- Apron Numerical Abstract Domain Library☆115Updated 5 months ago
- TriCera: a model checker for C programs☆22Updated this week
- Kodkod solver for relational logic☆74Updated last year
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆77Updated 4 months ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆39Updated 11 months ago
- Generates loop invariants for program verification☆59Updated 3 years ago
- An interactive visualizer for linear temporal logic (LTL)☆30Updated 3 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆149Updated this week
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 3 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆65Updated this week
- ☆10Updated 10 years ago
- The LTSmin model checking toolset☆56Updated 2 months ago
- PPLite: convex polyhedra library for Abstract Interpretation☆24Updated 7 months ago