Laurent Arditi of ARM recently spoke on “Formal Weapons for Microprocessor Verification” at the Formal verification conference.

The recordings and slides are now available here.