Model Checking Analysis of Observational Transition System with SMV

Tao He, Huazhong Li, Guorong Qin. Model Checking Analysis of Observational Transition System with SMV. In Chunfeng Liu, Jincai Chang, Aimin Yang, editors, Information Computing and Applications - Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II. Volume 244 of Communications in Computer and Information Science, pages 537-544, Springer, 2011. [doi]

Abstract

Abstract is missing.