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
Search via SFX
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  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics