Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Specification and verification challenges for sequential object-oriented programs
| |
|
Original Article
Specification and verification challenges for sequential object-oriented programs
Gary T. Leavens1  , K. Rustan M. Leino2 and Peter Müller3
| (1) |
Dept. of Computer Science, Iowa State University, 229 Atanasoff Hall, Ames, IA 50011, USA |
| (2) |
Microsoft Research, Redmond, One Microsoft Way, Redmond, WA 98052, USA |
| (3) |
ETH Zurich, ETH Zentrum RZ F2, 8092 Zurich, Switzerland |
Received: 17 May 2006 Revised: 20 August 2006 Accepted: 19 February 2007 Published online: 6 April 2007
Abstract The state of knowledge in how to specify sequential programs in object-oriented languages such as Java and C# and the state
of the art in automated verification tools for such programs have made measurable progress in the last several years. This
paper describes several remaining challenges and approaches to their solution.
Keywords Program verification - Specification - Contract - Object-oriented programming - Challenge
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|