Symbolic Model Checking for Asynchronous Boolean Programs

Thumbnail
Metadata only
Author
Cook, Byron
Kroening, Daniel
Sharygina, Natasha
Date
2005
Type
    Conference Paper
Publication status
published
External links
Editor
Godefroid, Patrice
Book title
Model checking software : proceedings
Journal / series
Lecture Notes in Computer Science
Volume
3639
Pages / Article No.
75 - 90
Publisher
Springer
Event
12th International SPIN Workshop on Model Checking Software, San Francisco, CA, USA, August 22-24, 2005
Organisational unit
03686 - Kröning, Daniel  
More
Show all metadata
Citations
Cited 28 times in Web of Science
ETH Bibliography
yes
Altmetrics