A Survey of Behavioral Interface Specification Languages

This page gives supplementary materials for our survey of behavioral interface specification languages, which appears in ACM Computing Surveys.

John Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, and Matthew Parkinson. Behavioral Interface Specification Languages. ACM Computing Surveys, 44(3):16:1-16:58, June, 2012. http://dx.doi.org/10.1145/2187671.2187678.

Examples in Different Specification Languages

We have written the paper's examples in several specification languages.

Last modified Thursday, July 11, 2013.