Alternatives and similar repositories for wstat:

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

• phreppo / rat
  🐀 Regular Expression Denial of Service analyzer.
  ☆25Updated 11 months ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆115Updated 4 months ago
• caterinaurban / Libra
  ☆23Updated 3 years ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆355Updated 2 weeks ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆260Updated this week
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆408Updated last week
• ligurio / practical-fm
  A gently curated list of companies using verification formal methods in industry
  ☆507Updated 6 months ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated last week
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆23Updated 3 years ago
• MetaCoq / metacoq
  Metaprogramming, verified meta-theory and implementation of Coq in Coq
  ☆411Updated this week
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆222Updated last month
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆446Updated this week
• coq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆510Updated 5 months ago
• coq / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆21Updated 2 weeks ago
• mtzguido / verificacion-con-fstar-2024
  Repositorio de la optativa para la FCEIA
  ☆16Updated 4 months ago
• trolando / oink
  Oink, an implementation of modern parity game solvers
  ☆32Updated last week
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆91Updated this week
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆255Updated 5 months ago
• agda / cubical
  An experimental library for Cubical Agda
  ☆463Updated last week
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆52Updated 8 months ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆300Updated last week
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆14Updated 2 years ago
• hipsleek / hipsleek
  ☆12Updated last week
• TermCOMP / TPDB
  The Termination Problem Database
  ☆28Updated this week
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆206Updated this week
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆41Updated 2 years ago
• 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
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆249Updated this week
• wies / grasshopper
  An automated deductive program verifier.
  ☆41Updated last year