A website listing all the best FV companies in the Crypto space.

Kontrol Workshop at ETHCC[7]

A symbolic testing tool for EVM smart contracts

Symbolic Execution Benchmarks for Ethereum Smart Contracts

A survey on Rust works: empirical studies, verification tools, analysis tools, etc

proof first, evm specific smt solver

Analyze and reproduce attack events or vulnerabilities in the blockchain world.

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠

An automata learning library written in Python.

Here we collect and discuss the best DeFI & Blockchain researches and tools. Feel free to DM me on Twitter or open pool request.

A curated list of awesome Ethereum security references