Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers.

Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi

Browse the full FORTE paper archive.