Alternatives and similar repositories for hanfor

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

• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆222Updated this week
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated last year
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆226Updated last week
• Lingzhi-Ouyang / Remix
  ☆12Updated 3 months ago
• kaist-plrg / concrat
  Concurrent-C to Rust Automatic Translator
  ☆15Updated 2 years ago
• cs-au-dk / TIP
  Static program analysis for TIP
  ☆295Updated 2 months ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆58Updated this week
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆183Updated 3 years ago
• microsoft / verus-proof-synthesis
  ☆40Updated 3 weeks ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆104Updated last week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆67Updated 3 weeks ago
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆63Updated this week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆69Updated last week
• coco-team / zustre
  A model checker and assume/guarantee contract generator for Lustre programs.
  ☆15Updated 7 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆211Updated 4 months ago
• hipsleek / hipsleek
  ☆12Updated 5 months ago
• julianthome / autorex
  A dk.brics FSM to regular-expression-string converter
  ☆10Updated last week
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• secure-foundations / human-eval-verus
  ☆18Updated 3 months ago
• viperproject / mendel-verifier
  Capability-based verifier for safe Rust clients of interior mutability
  ☆13Updated last year
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆54Updated 2 weeks ago
• logsem / iris-lecture-notes
  ☆13Updated 11 months ago
• namasikanam / raft-spin
  A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University
  ☆16Updated 4 years ago
• victornicolet / parsynt
  Automatic parallel divide-and-conquer programs synthesizer
  ☆16Updated 3 years ago
• moves-rwth / caesar
  Deductive verification infrastructure for probabilistic programs
  ☆19Updated this week
• fredfeng / CS190I
  Program Synthesis
  ☆15Updated 4 years ago
• EduPH / concrete-semantics-Sols
  My solutions to concrete semantics
  ☆11Updated 7 years ago
• uuverifiers / eldarica
  The Eldarica model checker
  ☆88Updated last month
• synduce / Synduce
  An automatic recursive function transformer.
  ☆10Updated last year