Universal-Variability-Language / uvl-parser
☆11Updated 7 months ago
Alternatives and similar repositories for uvl-parser
Users that are interested in uvl-parser are comparing it to the libraries listed below
Sorting:
- Material for lectures on software product lines☆14Updated this week
- Language server protocol for the Universal Variability Language (UVL)☆11Updated 6 months ago
- Repository of teaching material for product lines and variability☆12Updated last year
- Bottom-Up Technologies for Reuse☆18Updated last year
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆69Updated last year
- Tool Support for Correctness-by-Construction☆28Updated 2 weeks ago
- SMTInterpol interpolating SMT solver☆66Updated this week
- JavaSMT - Unified Java API for SMT solvers.☆224Updated this week
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- TurnKey artifact for Z3☆37Updated 3 weeks ago
- The Next Generation Logic Library☆142Updated 5 months ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆80Updated 7 months ago
- language independent software composition and merging☆31Updated 8 years ago
- JMiniZinc☆16Updated 4 years ago
- The Termination Problem Database☆29Updated 4 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated last month
- A regular expression to SMT-LIB constraint translator☆11Updated 6 years ago
- An Xtext DSL for EMF metamodels refactoring and migration☆12Updated this week
- The Ultimate program analysis framework.☆219Updated this week
- Xtext/Sirius Integration☆21Updated 5 months ago
- JaTyC: a typestate checker for Java☆17Updated 3 months ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆42Updated 2 years ago
- The Melange Language Workbench☆29Updated 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
- ANTLR SMT-LIB v2 Grammar☆23Updated 3 years ago
- Adding declarative, reactive and incremental rules to MPS☆21Updated this week
- 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
- A lazy-grounding Answer-Set Programming system☆60Updated 2 months ago
- Agda Library to Study the Expressive Power of Languages for Static Variability☆12Updated 3 weeks ago