Research Article
Combination of Model Checking and Theorem Proving to Develop and Verify Embedded Software
Zhong Xu and Xiao Jianyu
Jianyu, X. and D. Jingguo, 2012. Specifications mining based on adjusted automata learning algorithm. Inform. Technol. J., 11: 1391-1399. CrossRefDirect Link |