How safe is safe enough? (and how do we demonstrate that?) Dr David Pumfrey High Integrity Systems Engineering Group Department of Computer Science University.
Computer-Aided Verification Introduction Pao-Ann Hsiung National Chung Cheng University.