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:
- Material for lectures on software product lines☆15Updated last month
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated last week
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- An extensible framework for feature-oriented software development☆138Updated last month
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆165Updated this week
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- Bottom-Up Technologies for Reuse☆18Updated 2 months ago
- RV-Monitor core system code☆16Updated 4 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆65Updated 4 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆60Updated last week
- SMTInterpol interpolating SMT solver☆68Updated last month
- KeY Theorem Prover for Deductive Java Verification☆67Updated this week
- An extension to the Java type system to catch badly-behaving builder patterns☆11Updated 2 years ago
- Tools and standards for conducting and evaluating research in software engineering☆318Updated 3 months ago
- Synthesis Format Conversion Tool☆26Updated last month
- CS Deadlines - Top CS Conferences deadlines☆12Updated last month
- Tool Support for Correctness-by-Construction☆29Updated 2 months ago
- ☆10Updated 10 years ago
- A tool for Model Based Testing☆49Updated 3 months ago
- Efficient Mutation Testing for Java☆39Updated 3 years ago
- UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This reposi…☆13Updated last week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆186Updated 4 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆55Updated 5 months ago
- A Modern Probabilistic Model Checker☆157Updated this week
- Dynamic detection of likely invariants☆240Updated this week
- The ABS modeling language and surrounding tools☆37Updated 2 months ago
- The LTSmin model checking toolset☆60Updated last year
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆211Updated 9 months ago