A high-level model-checking tool for verifying service agreements

Abubkr Abdelsadiq; Carlos Molina-Jimenez; Santosh Shrivastava

doi:10.1109/SOSE.2011.6139120

Previous
Next
Table of Contents
Related Articles

Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)

A high-level model-checking tool for verifying service agreements

Year: 2011, Pages: 297-304

DOI Bookmark: 10.1109/SOSE.2011.6139120

Authors

Abubkr Abdelsadiq, School of Computing Science, Newcastle University, UK
Carlos Molina-Jimenez, School of Computing Science, Newcastle University, UK
Santosh Shrivastava, School of Computing Science, Newcastle University, UK

A high-level model-checking tool for verifying service agreements

Authors

Abstract