LTSA-WS: a tool for model-based verification of web service compositions and choreography.

Howard Foster, Sebastin Uchitel, Jeff Magee, Jeff Kramer

Browse the full ICSE paper archive.