AToMPM / atompmLinks
A Tool for Multi-Paradigm Modeling
☆24Updated 10 months ago
Alternatives and similar repositories for atompm
Users that are interested in atompm are comparing it to the libraries listed below
Sorting:
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated 2 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆63Updated 2 years ago
- Main repository of the GreatSPN framework☆47Updated 2 weeks ago
- A Modern Probabilistic Model Checker☆149Updated 2 weeks ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆176Updated 6 months ago
- Open Source AADL2 Tool Environment☆46Updated this week
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆23Updated 2 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated last week
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆36Updated last year
- Visual graph rewriting platform☆10Updated last month
- Modeling and Programming with Gecode☆51Updated 2 years ago
- ☆12Updated 6 years ago
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- The LTSmin model checking toolset☆60Updated 8 months ago
- The mbeddr core. An extensible C☆228Updated last week
- ⛓️ Extension of clingo to handle constraints over integers☆27Updated this week
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆109Updated last year
- Kodkod solver for relational logic☆77Updated 2 years ago
- Language bindings for Maude☆23Updated 6 months ago
- SysIDE provides SysML v2 language support in VS Code☆36Updated last month
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Ontological Modeling Language (OML)☆28Updated 3 weeks ago
- Core OpenMETA Framework☆28Updated 2 years ago
- Specify and synthesize systems using symbolic algorithms☆50Updated 8 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated last week
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated this week
- Python for Capella☆65Updated last month