FAMILIAR-project / teachingLinks
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
Sorting:
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 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…☆159Updated 2 weeks ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated 2 weeks ago
- A tool for Model Based Testing☆48Updated last month
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated last week
- Static checker for Java☆86Updated 6 months ago
- SMTInterpol interpolating SMT solver☆67Updated last month
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- Static Analyzer and Verifier☆48Updated 10 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated last month
- RV-Monitor core system code☆16Updated 4 years ago
- ☆11Updated 2 weeks ago
- KeY Theorem Prover for Deductive Java Verification☆60Updated last week
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated 3 weeks ago
- The VerCors verification toolset for verifying parallel and concurrent software☆77Updated last week
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆62Updated 2 weeks ago
- ☆10Updated 10 years ago
- Dynamic detection of likely invariants☆229Updated 2 weeks ago
- Bottom-Up Technologies for Reuse☆18Updated 2 years ago
- PC-miner tool for program chairs☆27Updated this week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆42Updated 4 years ago
- An extensible framework for feature-oriented software development☆133Updated 2 months ago
- The main development version of the PRISM model checker.☆172Updated last month
- Tools and standards for conducting and evaluating research in software engineering☆312Updated this week
- JavaSMT - Unified Java API for SMT solvers.☆226Updated this week
- An extension to the Java type system to catch badly-behaving builder patterns☆11Updated 2 years ago
- Tool Support for Correctness-by-Construction☆29Updated last month
- Runtime verification system for Java, using AspectJ for instrumentation.☆48Updated 2 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago