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
Editor
Yorav, Karen
Book title
Hardware and software: verification and testing
Journal / series
Lecture Notes in Computer Science
Volume
4899
Pages / Article No.
202 - 217
Publisher
Springer
Event
Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007
More
Show all metadata
Citations
Cited 2 times in Scopus
ETH Bibliography
yes
Altmetrics