Alternatives and similar repositories for PIPE:

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

• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆97Updated this week
• iig-uni-freiburg / WOLFGANG
  Petri Net Editor
  ☆26Updated 7 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆147Updated last week
• sbusard / pynusmv
  PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.
  ☆24Updated 6 years ago
• vale1410 / bule
  The SAT and QBF Programming Language Bule
  ☆23Updated 9 months ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆170Updated last month
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• eprover / eprover
  ☆138Updated this week
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆73Updated 10 months ago
• lip6 / pnmlframework
  This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org…
  ☆12Updated 11 months ago
• jacamo-lang / jacamo
  This project aims to promote the MultiAgent Oriented Programming (MAOP) approach by providing a suitable integration of tools and languag…
  ☆85Updated 2 weeks ago
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆396Updated this week
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆24Updated 7 months ago
• arminbiere / kissat
  ☆524Updated last month
• vprover / vampire
  The Vampire Theorem Prover
  ☆334Updated this week
• webgme / webgme
  Web-based Generic Modeling Environment
  ☆162Updated 2 months ago
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆406Updated 4 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆24Updated last week
• ths-rwth / smtrat
  ☆52Updated last month
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆43Updated last year
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 5 months ago
• ticktac-project / tchecker
  TChecker is an open-source verification tool for timed automata
  ☆21Updated 10 months ago
• osate / examples
  Examples and case-study that use OSATE
  ☆57Updated last week
• msoos / cryptominisat
  An advanced SAT solver
  ☆845Updated this week
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆301Updated last week
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆104Updated 2 weeks ago
• marijnheule / microsat
  microsat
  ☆134Updated 2 years ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆76Updated this week
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆428Updated this week
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆94Updated 2 weeks ago