AToMPM / atompmLinks
A Tool for Multi-Paradigm Modeling
☆25Updated last year
Alternatives and similar repositories for atompm
Users that are interested in atompm are comparing it to the libraries listed below
Sorting:
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- Open Source AADL2 Tool Environment☆48Updated 3 months ago
- The LTSmin model checking toolset☆60Updated last year
- Modeling and Programming with Gecode☆50Updated 3 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆46Updated last year
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆24Updated 3 years ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated 2 years ago
- Specify and synthesize systems using symbolic algorithms☆52Updated 3 weeks ago
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆64Updated 2 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆27Updated last month
- A Modern Probabilistic Model Checker☆158Updated this week
- Main repository of the GreatSPN framework☆54Updated 6 months ago
- C Language Analysis in Rascal☆26Updated 3 weeks 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…☆21Updated 4 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆60Updated 3 weeks ago
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆133Updated 3 weeks ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated 2 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated 3 weeks ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆183Updated last year
- B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…☆24Updated last month
- Visual graph rewriting platform☆10Updated 7 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Updated 2 years ago
- program synthesis is possible☆40Updated 6 years ago
- Execute and document benchmarks reproducibly.☆96Updated 6 months ago
- The mbeddr core. An extensible C☆227Updated last week
- The Git repository for the mCRL2 toolset.☆103Updated last week