FAMILIAR-project / teaching
Repository of teaching material for product lines and variability
☆12Updated last year
Related projects: ⓘ
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆89Updated 3 years ago
- SMTInterpol interpolating SMT solver☆59Updated 2 months ago
- Bottom-Up Technologies for Reuse☆18Updated last year
- RV-Monitor core system code☆16Updated 3 years ago
- An extensible framework for feature-oriented software development☆128Updated 4 months ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆19Updated 3 years ago
- JavaSMT - Unified Java API for SMT solvers.☆179Updated this week
- Type checking ifdef variability☆76Updated 3 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- The Boa language reference compiler.☆33Updated 6 months ago
- Static Analyzer and Verifier☆44Updated 9 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆55Updated last week
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆47Updated this week
- toolsuite for analyzing cpp-preprocessor-based software product lines☆11Updated last year
- Java bindings for LLVM libraries☆8Updated 2 years ago
- ☆10Updated 9 years ago
- The Ultimate program analysis framework.☆194Updated this week
- ☆52Updated 3 weeks ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated last month
- language independent software composition and merging☆31Updated 7 years ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆89Updated last week
- A free, open-source Java library for modeling automata, graphs, and transition systems☆90Updated 3 weeks ago
- Empirical Software Engineering journal (EMSE) open science and reproducible research initiative☆33Updated 7 months ago
- KeY Theorem Prover for Deductive Java Verification☆42Updated this week
- 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
- A tool for Model Based Testing☆47Updated 2 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 2 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆60Updated 2 years ago