A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV.

Melissa Kova, Jamal Bentahar, Zakaria Maamar, Hamdi Yahyaoui

Browse the full SoMeT paper archive.