Source code verification service for Ethereum smart contracts
- verification
- ethereum
- smart-contracts
- solidity
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Smart contracts which are formally verified
K Semantics of the Ethereum Virtual Machine (EVM)
A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436