Computer-Aided Verification Introduction Pao-Ann Hsiung National Chung Cheng University Contents Case Studies Therac-25 system software bugs Ariane 501 software bug Mars…
