Popular repositories Loading

1. EthBMC EthBMC Public

   Forked from RUB-SysSec/EthBMC

   The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

   Rust 12 1

2. symexec-bench symexec-bench Public

   Solidity 11

3. manticore manticore Public

   Forked from trailofbits/manticore

   Symbolic execution tool

   Python 1

4. symbolic-stack-machines symbolic-stack-machines Public

   Forked from WilfredTA/symbolic-stack-machines

   Library for building symbolically executable stack-based virtual machines

   Rust

5. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

6. formal-methods-curriculum formal-methods-curriculum Public

   Forked from WilfredTA/formal-methods-curriculum

   Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry

   Jupyter Notebook