A complete bounded model checking algorithm for pushdown systems

Thumbnail
Metadata only
Author
Basler, Gérard
Kroening, Daniel
Weissenbacher, Georg
Date
2008
Type
  • Conference Paper
Publication status
published
External links
Full text via SFX
Editor
Yorav, Karen
Book title
Hardware and software: verification and testing
Journal / series
Lecture notes in computer science
Volume
4899
Pages
202 - 217
Publisher
Springer
Event
Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007
Notes
.
More
Show all metadata
Altmetrics