Alternatives and similar repositories for prism

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

• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆148Updated this week
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆35Updated this week
• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆25Updated last month
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated 2 weeks ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆54Updated 2 weeks ago
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆74Updated this week
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 2 years ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆103Updated this week
• randriu / synthesis
  ☆23Updated this week
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 7 months ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆84Updated last week
• SRI-CSL / yices2
  SRI Yices SMT Solver
  ☆413Updated this week
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆75Updated last year
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 7 months ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated last week
• ticktac-project / tchecker
  TChecker is an open-source verification tool for timed automata
  ☆22Updated last month
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆199Updated 3 weeks ago
• meyerphi / strix
  Strix is a tool for reactive synthesis of controllers from LTL specifications.
  ☆22Updated 2 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated last week
• audemard / glucose
  The glucose SAT solver
  ☆114Updated 2 weeks ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆61Updated 7 months ago
• StarExec / StarExec
  StarExec is a cross community logic solving service
  ☆19Updated 3 weeks ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated last year
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• iscas-tis / ePMC
  EPMC: An Extendible Probabilistic Model Checker
  ☆19Updated 5 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• reactive-systems / bosy
  BoSy is a reactive synthesis tool based on constraint-solving
  ☆19Updated last year
• johnyf / tool_lists
  Links to tools by subject
  ☆376Updated last year
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆183Updated 3 years ago