Behavioral interface specification languages

John Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, Matthew Parkinson
[doi] [Google Scholar] [DBLP] [Citeseer]

ACM Computing Surveys 44(3)
Association for Computing Machinery
New York, NY, USA
June 2012
Topic(s): tools verification
Note(s): contract driven development, spec-sharp-project, separation logic, loop invariant