Verification and falsification of programs with loops using predicate abstraction

Open access
Date
2010Type
- Journal Article
Permanent link
https://doi.org/10.3929/ethz-b-000016955Publication status
publishedExternal links
Journal / series
Formal Aspects of ComputingVolume
Pages / Article No.
Publisher
Springer InternationalNotes
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 publisherMore
Show all metadata