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.
Making your products more Reliable, Safe and Secure
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.