Validating temporal properties of interacting objects - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Nomair A. Naeem, Ondřej Lhoták. Validating temporal properties of interacting objects. In Gail E. Harris, editor, Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA. pages 903-904, ACM, 2008. [doi]

The following publications are possibly variants of this publication:

Verification of temporal properties involving multiple interacting objectsNomair A. Naeem. PhD thesis, University of Waterloo, Ontario, Canada, 2013. [doi]

runs on WebDSL