Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.

Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens

Browse the full ESOP paper archive.