facebookarchive / smt2utils

Related projects ⓘ

Alternatives and complementary repositories for smt2utils

• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆65Updated 8 months ago
• awslabs / rust-smt-ir
  ☆36Updated 3 months ago
• digama0 / frat
  DRAT proof processor
  ☆13Updated last year
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆23Updated last month
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆64Updated 4 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆80Updated last year
• runtimeverification / wasm-semantics
  A Prototype Formal Semantics of WebAssembly in K
  ☆78Updated last week
• contract-ace / smartace
  ☆13Updated 2 years ago
• giuspek / FormalMethods-2022
  Obsolete
  ☆13Updated last year
• GaloisInc / cryptol-specs
  A central repository for specifications of cryptographic algorithms in Cryptol
  ☆35Updated this week
• NASA-SW-VnV / mesa
  Actor-based Runtime Verification Tool
  ☆11Updated last year
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆58Updated 4 months ago
• apre-group / checkmate
  the CheckMate protocol verification tool
  ☆10Updated this week
• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆66Updated last week
• uuverifiers / eldarica
  The Eldarica model checker
  ☆80Updated 2 weeks ago
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆46Updated 2 years ago
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆51Updated last year
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆57Updated last year
• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆58Updated last year
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆24Updated last month
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆15Updated 8 years ago
• bor0 / dafny-tutorial
  Exercises for the Dafny Tutorial
  ☆10Updated 6 years ago
• alinush / ck
  A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
  ☆13Updated last year
• Z3Prover / doc
  Documentation
  ☆38Updated 4 months ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆62Updated last month
• AU-COBRA / ConCert
  A framework for smart contract verification in Coq
  ☆114Updated last month
• trailofbits / test-fuzz
  To make fuzzing Rust easy
  ☆158Updated this week
• cdisselkoen / llvm-ir-analysis
  ☆64Updated 8 months ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆99Updated this week