HaoxianChen / declarative-smart-contracts

Related projects ⓘ

Alternatives and complementary repositories for declarative-smart-contracts

• lijwen2748 / simplecar
  ☆14Updated 2 years ago
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆15Updated 8 years ago
• runtimeverification / pyk
  Python tools for the K Framework
  ☆13Updated 6 months ago
• eth-sri / verx-benchmarks
  ☆20Updated 5 years ago
• contract-ace / smartace
  ☆14Updated 2 years ago
• bor0 / dafny-tutorial
  Exercises for the Dafny Tutorial
  ☆10Updated 6 years ago
• sree314 / simple-abstract-interpreter
  A Simple Abstract Interpreter, built for teaching purposes
  ☆18Updated 4 years ago
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆46Updated 2 years ago
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆23Updated 11 months ago
• MisakaCenter / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆16Updated 2 years ago
• moves-rwth / caesar
  Deductive verification infrastructure for probabilistic programs
  ☆15Updated this week
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆57Updated last year
• DavePearce / LeanEVM
  A toy implementation of the EVM in Lean4.
  ☆10Updated 5 months ago
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆33Updated 5 years ago
• fredfeng / CS190I
  Program Synthesis
  ☆12Updated 3 years ago
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆17Updated last year
• giuspek / FormalMethods-2022
  Obsolete
  ☆13Updated last year
• seahorn / verify-c-common
  ☆16Updated 5 months ago
• uuverifiers / eldarica
  The Eldarica model checker
  ☆80Updated 3 weeks ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆20Updated last year
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆14Updated this week
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆38Updated 4 months ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆22Updated 3 months ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆24Updated 2 years ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆18Updated last week
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆61Updated 2 weeks ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆38Updated this week
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆11Updated last week