Model checking large software specifications

ACM SIGSOFT Software Engineering Notes 1996 / 11 Vol. 21; Iss. 6

Model checking large software specifications

Anderson, Richard J., Beame, Paul, Burns, Steve, Chan, William, Modugno, Francesmary, Notkin, David, Reese, Jon D.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
21
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/250707.239127
Date:
November, 1996
File:
PDF, 1.10 MB
english, 1996
Conversion to is in progress
Conversion to is failed