CASE: Past, Present, and Future
(
Acrobat
) [ICSE 97 State-of-the-Art Presentation]
Applying Model Checking to Large Software Specifications
(
Acrobat
) [Presented at Stanford, U. Alberta, U. Virginia, Brown U.]