Alternatives and similar repositories for stacscheck

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

• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• tcsprojects / pgsolver
  A collection of tools for generating, manipulating and - most of all - solving parity games.
  ☆35Updated 10 months ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated last week
• bzhan / auto2
  A best-first-search theorem prover implemented in Isabelle
  ☆34Updated 2 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆48Updated last week
• prismmodelchecker / prism-benchmarks
  The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…
  ☆11Updated 3 months 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
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 7 months ago
• eprover / eprover
  ☆142Updated 2 weeks ago
• ths-rwth / smtrat
  ☆55Updated 3 weeks ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• trolando / oink
  Oink, an implementation of modern parity game solvers
  ☆36Updated 5 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 7 months ago
• eve-mas / eve-parity
  Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…
  ☆19Updated 10 months ago
• ltentrup / caqe
  CAQE is a solver for quantified Boolean formulas
  ☆33Updated 2 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆54Updated this week
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆24Updated last month
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆81Updated 3 months ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 2 years ago
• formalabstracts / formalabstracts
  ☆164Updated 5 years ago
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆122Updated 4 months ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆100Updated 2 weeks ago
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆119Updated 2 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 7 months ago
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆74Updated this week
• harp-project / AML-Formalization
  ☆11Updated this week
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆228Updated 2 months ago
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆62Updated 4 years ago
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆85Updated this week
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆61Updated 7 months ago