Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Weiqiang Kong' in GoogleThis author has not been identified. Look up 'Noriyuki Katahira' in GoogleThis author has not been identified. Look up 'Masahiko Watanabe' in GoogleThis author has not been identified. Look up 'Tetsuro Katayama' in GoogleThis author has not been identified. Look up 'Kenji Hisazumi' in GoogleThis author has not been identified. Look up 'Akira Fukuda' in Google

runs on WebDSL