Alternatives and similar repositories for wstat:

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

• caterinaurban / Libra
  ☆24Updated 3 years ago
• phreppo / rat
  🐀 Regular Expression Denial of Service analyzer.
  ☆25Updated last year
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆121Updated last month
• caterinaurban / Lyra
  ☆30Updated 6 months ago
• logsem / iris-tutorial
  ☆40Updated 2 months ago
• eth-sri / ELINA
  ELINA: ETH LIbrary for Numerical Analysis
  ☆130Updated last year
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆182Updated 3 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆94Updated this week
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated 3 weeks ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆28Updated last month
• xqyww123 / phi-system
  ☆7Updated this week
• lucid-brndmg / cyclone-online-editor
  Interactive online editor for the cyclone specification language
  ☆12Updated last week
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆35Updated this week
• hipsleek / hipsleek
  ☆12Updated this week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆63Updated 2 weeks ago
• harp-project / AML-Formalization
  ☆12Updated this week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated last week
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆452Updated last week
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆41Updated 3 years ago
• ezaffanella / PPLite
  PPLite: convex polyhedra library for Abstract Interpretation
  ☆25Updated 8 months ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆325Updated this week
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆416Updated this week
• coq / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆21Updated this week
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆60Updated 4 years ago
• imitator-model-checker / imitator
  IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…
  ☆28Updated this week
• ufmg-smite / carcara
  ☆34Updated this week
• isabelle-prover / cookbook
  A collection of useful tips/tricks/hints for Isabelle users.
  ☆16Updated 9 months ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆53Updated 9 months ago
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 2 years ago
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆88Updated 7 months ago