John Colley of¬†University of Southampton recently spoke on “Formal, Model-based Development and Verification of Hardware, Software and Cyber-Physical Systems” at the Formal verification conference.

The recordings and slides are now available here.