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:
- ☆11Updated last week
- Material for lectures on software product lines☆14Updated last week
- Bottom-Up Technologies for Reuse☆18Updated 2 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated last week
- Type checking ifdef variability☆78Updated 3 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated 2 weeks ago
- An extensible framework for feature-oriented software development☆133Updated last month
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Tool Support for Correctness-by-Construction☆28Updated last month
- Hanoi Omega-Automata Format☆15Updated 2 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…☆155Updated last week
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated last year
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- toolsuite for analyzing cpp-preprocessor-based software product lines☆12Updated last year
- RV-Monitor core system code☆16Updated 4 years ago
- The LTSmin model checking toolset☆60Updated 7 months ago
- Mutation system for Java programs, including OO mutation operators.☆67Updated 6 years ago
- Gamification of Mutation Testing☆42Updated last month
- The ABS modeling language and surrounding tools☆36Updated this week
- A tool for Model Based Testing☆48Updated last week
- EPMC: An Extendible Probabilistic Model Checker☆19Updated 5 months ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆22Updated 2 years ago
- Verimag Polyhedra Library☆18Updated 2 months ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆33Updated 2 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Updated 3 years ago