Name: Specifying & verifying Solidity contracts by Martin Lundfall
Uploaded: 2020-05-14T14:53:45+00:00
Duration: 27 min 47 s
Description: Introduction to ACT, followed by an open discussion around formal verification and language features to support more formal specifications inside Solidity.

Create an account to use AI

Create a free account to unlock all features:

Ask questions about videos with AI
Use smart search (AI)
Save your favorite videos
Bookmark your favorite categories
Organize your favorite subcategories
Access your personalized favorites page
Access your conversation history
Personalize your homepage with your favorites

Create an account

Already have an account? Log in