Verifying Timed Behavior Automata with Nonbinary Delay Constraints.

David K. Probst Hon Fung Li

Published in: CAV (1992)

Keyphrases

non binary
constraint satisfaction problems
timed automata
model checking
finite state machines
constraint satisfaction
petri net
arc consistency
mining high utility itemsets
cellular automata
small number
probabilistic model
frequent pattern mining
prior knowledge
tree automata
data streams
data sets