Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda. Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. In Tran Dan Thu, Karl R. P. H. Leung, editors, 2011 18th Asia Pacific Software Engineering Conference, Ho Chi Minh, Vietnam, December 5-8, 2011. pages 81-88, IEEE, 2011. [doi]
@inproceedings{KongKWKHF11,
title = {Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking},
author = {Weiqiang Kong and Noriyuki Katahira and Masahiko Watanabe and Tetsuro Katayama and Kenji Hisazumi and Akira Fukuda},
year = {2011},
doi = {10.1109/APSEC.2011.17},
url = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2011.17},
researchr = {https://researchr.org/publication/KongKWKHF11},
cites = {0},
citedby = {0},
pages = {81-88},
booktitle = {2011 18th Asia Pacific Software Engineering Conference, Ho Chi Minh, Vietnam, December 5-8, 2011},
editor = {Tran Dan Thu and Karl R. P. H. Leung},
publisher = {IEEE},
isbn = {978-1-4577-2199-1},
}