An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix.

Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda

Browse the full ICCSA paper archive.