Symbolic model checking composite Web services using operational and control behaviors.
Expert Syst. Appl., 2013
A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009