Specification and verification challenges for sequential object-oriented programs

Download
Full text (published Version) (PDF, 1.913Mb)
Thumbnail
Open access
Author
Leavens, Gary T.
Leino, K. Rustan M.
Müller, Peter
Date
2007-06
Type
    Journal Article
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000002103
Publication status
published
External links
Journal / series
Formal Aspects of Computing
Volume
19(2)
Pages / Article No.
159 - 189
Publisher
Springer
Subject
Program verification; Specification; Contract; Object-oriented programming; Challenge
Organisational unit
03653 - Müller, Peter / Müller, Peter  
03594 - Meyer, Bertrand (emeritus)  
Notes
Received 17 May 2006, Revised 20 August 2006, Accepted 19 February 2007, Published online 6 April 2007. It was possible to publish this article open access thanks to a Swiss National Licence with the publisher
More
Show all metadata
ETH Bibliography
yes
Altmetrics