BrighterTube

BitML: A Calculus for Bitcoin Smart Contracts

Association for Computing Machinery (ACM)49.8K subscribers

About this video

Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Presents BitML, a formal calculus for Bitcoin smart contracts, enabling specification and verification. Research paper teaching formal methods for blockchain contract analysis and security.

A 21-minute video from Association for Computing Machinery (ACM): “BitML: A Calculus for Bitcoin Smart Contracts”.

Programming & CS

Video by Association for Computing Machinery (ACM), played through YouTube's embedded player.

Part of ACM CCS 2018