jku-isse / eccoLinks
Feature-Oriented and Distributed Version Control System
☆16Updated last week
Alternatives and similar repositories for ecco
Users that are interested in ecco are comparing it to the libraries listed below
Sorting:
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- An extensible framework for feature-oriented software development☆133Updated last month
- A product line variant of ArgoUML. ArgoUML is the leading open source UML modeling tool and includes support for all standard UML 1.4 dia…☆6Updated 10 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- A Variability-Aware Interpreter for Java Applications☆11Updated 4 years ago
- Repository of teaching material for product lines and variability☆12Updated last year
- SMTInterpol interpolating SMT solver☆66Updated this week
- 101companies contributions☆42Updated last year
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Updated 10 years ago
- Type checking ifdef variability☆78Updated 3 years ago
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆24Updated 8 years ago
- gemoc-studio☆28Updated 3 months ago
- Base Variability Resolution (BVR) metamodel, engine and editors☆11Updated 6 years ago
- Library for Variability-Aware Differencing and the Analysis of Edits to Preprocessor-Based Software Product Lines☆9Updated 2 weeks 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 this week
- toolsuite for analyzing cpp-preprocessor-based software product lines☆12Updated last year
- Inconsistent code detection for Java.☆14Updated 7 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆36Updated last year
- The Melange Language Workbench☆29Updated last year
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆63Updated 2 years ago
- SpongeBugs: Automatically Generating Fix Suggestions for SonarQube / SpotBugs☆23Updated 3 years ago
- The Termination Problem Database☆30Updated 2 weeks ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆42Updated 4 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- Pluggable type-checking for Java☆22Updated this week
- PC-miner tool for program chairs☆27Updated 3 months ago
- The Ultimate program analysis framework.☆221Updated this week
- JKind - An infinite-state model checker for safety properties in Lustre☆54Updated this week