Specifying & verifying Solidity contracts by Martin Lundfall

Fri, Oct 2, 2020, 12:00 AM

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