Scalable Software Verification with BLAST
Scalable Software Verification with BLAST Rupak Majumdar U.C. Los Angeles Mars, July 4, 1997 Lost contact due to real-time priority inversion bug Mars, December 3, 1999 Crashed due to uninitialized variable Jul 19, 2001 Code Red: Buffer overrun Estimated cost $2.6 billion
1.77k views • 140 slides