Formal semantics for Solidity in Coq
-
Updated
Jun 30, 2019 - Coq
Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on various blockchain platforms, most notably, Ethereum. The Solidity programming language is an open source, community project governed by a core team. The core team is sponsored by the Ethereum Foundation. The programs compiled by the Solidity are intended to be run on Ethereum Virtual Machine.
Formal semantics for Solidity in Coq
Created by Gavin Wood, Christian Reitwiessner, Alex Beregszaszi
Released August 2015
Latest release 5 days ago