AToMPM / atompmLinks
A Tool for Multi-Paradigm Modeling
☆25Updated this week
Alternatives and similar repositories for atompm
Users that are interested in atompm are comparing it to the libraries listed below
Sorting:
- A multi-formalism, multi-solution model-checker centered on the language GAL☆27Updated 2 months ago
- A Modern Probabilistic Model Checker☆160Updated this week
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- The LTSmin model checking toolset☆61Updated last year
- Open Source AADL2 Tool Environment☆50Updated 4 months ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆183Updated last year
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆125Updated 2 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…☆21Updated 4 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated last year
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆64Updated 2 years ago
- Specify and synthesize systems using symbolic algorithms☆52Updated last month
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated 2 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆135Updated last week
- Open-source implementation of the Action Language for fUML (Alf) specification.☆31Updated 2 years ago
- Main repository of the GreatSPN framework☆54Updated last week
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆46Updated last year
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated 2 years ago
- This ontology is a Linked Data Hub for mathematics☆67Updated 2 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated 3 weeks ago
- The Git repository for the mCRL2 toolset.☆103Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆86Updated this week
- Modeling and Programming with Gecode☆50Updated 3 years ago
- Execute and document benchmarks reproducibly.☆97Updated 7 months ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆61Updated last week
- Logic Programming in Python☆31Updated 4 years ago
- C Language Analysis in Rascal☆27Updated last month
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated 2 months ago
- Python interpreter for TLA+ specifications☆116Updated last year
- The mbeddr core. An extensible C☆227Updated this week
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 5 years ago