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
  ☆23Updated 2 weeks ago
• dalzilio / mcc
  High-Level Nets Blaster for the Model-Checking Contest
  ☆10Updated 3 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated this week
• hypro / hypro
  HyPro: A C++ state set representation library for the analysis of hybrid systems
  ☆33Updated last month
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆170Updated 2 months ago
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆9Updated 9 years ago
• ahartmanns / jani-models
  A library of formal models in the jani-model format.
  ☆11Updated 2 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 4 months ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated last month
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 3 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 2 years ago
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 4 years ago
• atlanmod / NeoEMF
  Multi-backend EMF persistence framework.
  ☆51Updated 3 weeks ago
• lip6 / libDDD
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆14Updated 6 months ago
• reactive-systems / bosy
  BoSy is a reactive synthesis tool based on constraint-solving
  ☆19Updated last year
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• altran-mde / xtext-sirius-integration
  Xtext/Sirius Integration
  ☆21Updated 2 months ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆71Updated 9 months ago
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆24Updated 7 months 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
• ths-rwth / smtrat
  ☆52Updated 2 weeks ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated this week
• sami-evangelista / helena
  the helena Petri net tool repository
  ☆10Updated 3 years ago
• eclipse-gemoc / gemoc-studio
  gemoc-studio
  ☆26Updated this week
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆20Updated this week
• tcsprojects / pgsolver
  A collection of tools for generating, manipulating and - most of all - solving parity games.
  ☆35Updated 6 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆45Updated 4 months ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆18Updated 2 years ago
• stephenfreund / RoadRunner
  ☆71Updated 7 years ago