Specifying & verifying Solidity contracts by Martin Lundfall
Channel: Ethereum Foundation
Date: 2020-05-14

Introduction to ACT, followed by an open discussion around formal verification and language features to support more formal specifications inside Solidity.