A Verification Procedure via Invariant for Extended Communicating Finite-State Machines.

Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami

Browse the full CAV paper archive.