Sign in

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

Zhengwei QiAlei LiangHaibing GuanMing WuZheng 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