Adding Liveness Properties to Coupled Finite-State Machines.

Sudhir Aggarwal Costas Courcoubetis Pierre Wolper

Published in: ACM Trans. Program. Lang. Syst. (1990)

Keyphrases

finite state machines
model checking
finite state automata
desirable properties
data sets
regular expressions
databases
knowledge base
website
hidden markov models
domain knowledge
low level
structural properties
digital circuits