Verification and falsification of programs with loops using predicate abstraction

Thumbnail
Metadata only
Author
Kroening, Daniel
Weissenbacher, Georg
Date
2010
Type
  • Journal Article
Publication status
published
External links
Search via SFX
Journal / series
Formal aspects of computing
Volume
22(2)
Pages
105 - 128
Publisher
Springer International
Notes
Received 10 February 2008, Accepted 14 March 2009, Published online 7 April 2009.
More
Show all metadata
Citations
Cited 4 times in Web of Science
Altmetrics