Towards a Formal Verification Approach for Implementation of Web Services Specifications.

Qing Yang Dianfu Ma Yongwang Zhao Zhuqing Li

Published in: APSCC (2010)

Keyphrases

formal verification
web services
bounded model checking
model checking
model checker
automated verification
layered architecture
formal specification
data intensive
symbolic model checking
loose coupling
cloud computing
orders of magnitude
service discovery
loosely coupled
functional verification