Making your products more Reliable, Safe and Secure

Formal, Model-based Development and Verification of Hardware, Software and Cyber-Physical Systems

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.

12th June, 2015|Active Event, Blog, Events|