Safety and Security considerations for complex, high-consequence systems are increasingly becoming an expensive and time-consuming factor in system development and the cost of failure is also high.

Dr John Colley, University of Southampton, discussed how model-based safety and security analysis is used in high-consequence system development at the Formal Verification Conference on 16 June 2016.

You can view the Presentation Slides and Recordings here