Corbett, J. C. ; M. B. Dwyer, J. Hatcliff, and Robby. A language framework for expressing checkable properties of dynamic software. In Proceedings of the SPIN Software Model Checking Workshop, volume 1885 of Lecture Notes in Computer Science, Aug. 2000.

Languages mentioned

• Bandera {2000}