Symbolic model checking of extended finite state machines with linear constraints over integer variables.

Takashi Takenaka Kozo Okano Teruo Higashino Kenichi Taniguchi Symbolic model checking of extended finite state machines with linear constraints over integer variables. 64-72 2006 37 Systems and Computers in Japan 6 http://dx.doi.org/10.1002/scj.20264 db/journals/scjapan/scjapan37.html#TakenakaOHT06