HaoxianChen / declarative-smart-contracts

Related projects ⓘ

Alternatives and complementary repositories for declarative-smart-contracts

• sree314 / simple-abstract-interpreter
  A Simple Abstract Interpreter, built for teaching purposes
  ☆17Updated 4 years ago
• lijwen2748 / simplecar
  ☆14Updated 2 years ago
• contract-ace / smartace
  ☆13Updated 2 years ago
• bor0 / dafny-tutorial
  Exercises for the Dafny Tutorial
  ☆10Updated 6 years ago
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆15Updated 8 years ago
• eth-sri / verx-benchmarks
  ☆20Updated 5 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆24Updated 2 years ago
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆23Updated 11 months ago
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆11Updated 2 months ago
• runtimeverification / pyk
  Python tools for the K Framework
  ☆13Updated 6 months ago
• MisakaCenter / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆16Updated 2 years ago
• fredfeng / CS190I
  Program Synthesis
  ☆13Updated 3 years ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• konnov / bymc
  Byzantine model checker
  ☆21Updated last year
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆22Updated 2 months ago
• aman-goel / ic3po
  IC3PO: IC3 for Proving Protocol Properties
  ☆25Updated 2 months ago
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆18Updated 11 months ago
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆46Updated 2 years ago
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆24Updated last year
• giuspek / FormalMethods-2022
  Obsolete
  ☆13Updated last year
• tpchina / tpchina.github.io
  ☆15Updated last year
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆20Updated last year
• acorrenson / WiSE
  A formally verified bug finder
  ☆14Updated last year
• awslabs / rust-smt-ir
  ☆37Updated 3 months ago
• aman-goel / ivybench
  Collection of Distributed Protocol Verification Problems
  ☆12Updated 6 months ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆57Updated last year
• codersguild / Software-Analysis-PAVT
  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…
  ☆37Updated last year
• ssvlab / esbmc-gpu
  ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer …
  ☆8Updated 7 years ago
• seahorn / verify-c-common
  ☆15Updated 5 months ago