Login / Signup
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines.
Masahiro Higuchi
Osamu Shirakawa
Hiroyuki Seki
Mamoru Fujii
Tadao Kasami
Published in:
CAV (1992)
Keyphrases
</>
finite state machines
model checking
finite state automata
temporal logic
formal verification
digital circuits
affine transformation
affine invariant
database
domain knowledge
database systems
regular languages
asynchronous circuits