Alternatives and similar repositories for pnmlframework

Users that are interested in pnmlframework are comparing it to the libraries listed below

• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated this week
• dalzilio / mcc
  High-Level Nets Blaster for the Model-Checking Contest
  ☆10Updated 6 months ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆54Updated 4 months ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated 2 weeks ago
• sami-evangelista / helena
  the helena Petri net tool repository
  ☆9Updated 3 years ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• lip6 / libDDD
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆14Updated last month
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• atlanmod / NeoEMF
  Multi-backend EMF persistence framework.
  ☆54Updated 3 months ago
• itemis / itemis-blog
  ☆27Updated 4 years ago
• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆63Updated 2 years ago
• xtext / maven-xtext-example
  An Xtext language and example usage of it built with Maven
  ☆61Updated 3 months ago
• ths-rwth / smtrat
  ☆53Updated this week
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆49Updated 7 months ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• catedrasaes-umu / emf4cpp
  Eclipse Modeling Framework for C++
  ☆45Updated 4 years ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆144Updated 6 months ago
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated 2 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated 2 months ago
• hypro / hypro
  HyPro: A C++ state set representation library for the analysis of hybrid systems
  ☆34Updated last month
• LorenzoBettini / packtpub-xtext-book-2nd-examples
  This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"
  ☆75Updated 5 years ago
• ahartmanns / jani-models
  A library of formal models in the jani-model format.
  ☆12Updated 2 years ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• borkdominik / bigUML
  A UML web modeling tool based on GLSP, distributed via a VS Code extension.
  ☆43Updated last week
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 7 months ago
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 3 years ago
• ObeoNetwork / Xtext-Sirius-integration
  this repository provide examples to embed Xtext in Sirius diagram editors.
  ☆20Updated 6 years ago