Alternatives and similar repositories for gr1c

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

• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 11 months ago
• VerifiableRobotics / slugs
  SmalL bUt Complete GROne Synthesizer
  ☆42Updated last year
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆423Updated 3 weeks ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆78Updated last month
• Drona-Org / Drona
  Drona is a programming framework for building safe robotics systems
  ☆30Updated 3 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated last week
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆89Updated 3 weeks ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆171Updated last month
• SRI-CSL / yices2
  SRI Yices SMT Solver
  ☆429Updated last month
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 11 months ago
• johnyf / tool_lists
  Links to tools by subject
  ☆376Updated last year
• VerifiableRobotics / LTLMoP
  A toolkit for designing and implementing LTL-based task specifications.
  ☆57Updated 9 years ago
• eth-sri / ELINA
  ELINA: ETH LIbrary for Numerical Analysis
  ☆133Updated 2 years ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆120Updated 5 months ago
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated 2 years ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆204Updated 3 weeks ago
• dreal / dreal2
  Please check dreal4 instead.
  ☆13Updated 9 years ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆27Updated 2 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years ago
• jgcoded / BuDDy
  BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files
  ☆14Updated 8 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆101Updated this week
• ticktac-project / tchecker
  TChecker is an open-source verification tool for timed automata
  ☆24Updated 5 months ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆149Updated 3 months ago
• stp / stp
  Simple Theorem Prover, an efficient SMT solver for bitvectors
  ☆550Updated last month
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆156Updated 2 months ago
• ssoelvsten / buddy
  BuDDy BDD package (with CMake support)
  ☆13Updated last year
• Formal-Systems-Laboratory / ROSRV
  ☆15Updated 4 years ago
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆75Updated 2 months ago