Formal Verification of Communicating HSTM Designs.

Leyuan Liu Weiqiang Kong Shijie Zhou Zhiguang Qin Akira Fukuda

Published in: CIT (2012)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
communication channels
design space
open source
artificial intelligence
functional verification