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
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