FAMILIAR-project / teachingLinks
Repository of teaching material for product lines and variability
☆12Updated 2 years ago
Alternatives and similar repositories for teaching
Users that are interested in teaching are comparing it to the libraries listed below
Sorting:
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆161Updated last week
- Tool Support for Correctness-by-Construction☆29Updated last week
- PC-miner tool for program chairs☆29Updated 3 weeks ago
- A tool for Model Based Testing☆48Updated last month
- RV-Monitor core system code☆16Updated 4 years ago
- KeY Theorem Prover for Deductive Java Verification☆65Updated this week
- The Git repository for the mCRL2 toolset.☆100Updated last week
- Hanoi Omega-Automata Format☆15Updated 2 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
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆97Updated 4 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆64Updated 2 weeks ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 2 months ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Updated 2 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- A Modern Probabilistic Model Checker☆152Updated last week
- ☆10Updated 10 years ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated 2 months ago
- Tools and standards for conducting and evaluating research in software engineering☆313Updated last month
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆56Updated this week
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆64Updated 3 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- EPMC: An Extendible Probabilistic Model Checker☆19Updated 8 months ago
- The Eldarica model checker☆94Updated 3 weeks ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆97Updated last month
- The VerCors verification toolset for verifying parallel and concurrent software☆79Updated this week
- The LTSmin model checking toolset☆60Updated 11 months ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 3 years ago
- Static checker for Java☆89Updated 8 months ago
- Efficient Mutation Testing for Java☆39Updated 3 years ago