Verification and falsification of programs with loops using predicate abstraction

Download
Full text (published Version) (PDF, 1.326Mb)
Thumbnail
Open access
Author
Kroening, Daniel
Weissenbacher, Georg
Date
2010
Type
    Journal Article
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000016955
Publication status
published
External links
Journal / series
Formal Aspects of Computing
Volume
22(2)
Pages / Article No.
105 - 128
Publisher
Springer International
Notes
Received 10 February 2008, Accepted 14 March 2009, Published online 7 April 2009. It was possible to publish this article open access thanks to a Swiss National Licence with the publisher
More
Show all metadata
Citations
Cited 7 times in Web of Science
ETH Bibliography
yes
Altmetrics