A Hybrid Model Checking and Runtime Monitoring Method for C++ Web Services.

Zhengwei Qi Alei Liang Haibing Guan Ming Wu Zheng Zhang

Published in: NCM (2009)

Keyphrases

model checking
web services
verification method
temporal logic
fuzzy sets
computational complexity
dynamic programming
finite state
concurrent systems
reachability analysis