Alex Orr of Broadcom recently spoke on “My first 100 days in formal-land” at the Formal verification Conference.

The recordings and slides are now available here.