Efficient Verification of Service-Based Applications for Flexible Modeling.

Min Yuan Zhiqiu Huang

Published in: SCC (2018)

Keyphrases

service providers
lightweight
computationally expensive
web services
model checking
highly efficient
data structure
markov chain
cost effective