Using Debuggers to Understand Failed Verification Attempts

Thumbnail
Metadata only
Author
Müller, Peter
Ruskiewicz, Joseph N.
Date
2011
Type
    Conference Paper
Publication status
published
External links
Editor
Butler, Michael
Schulte, Wolfram
Book title
FM 2011: Formal methods : proceedings
Journal / series
Lecture Notes in Computer Science
Volume
6664
Pages / Article No.
73 - 87
Publisher
Springer
Event
17th International Symposium on Formal Methods (FM 2011), Limerick, Ireland, June 20-24, 2011
Organisational unit
03653 - Müller, Peter / Müller, Peter  
More
Show all metadata
ETH Bibliography
yes
Altmetrics