Checking Finite Traces Using Alternating Automata.

Bernd Finkbeiner Henny Sipma

Published in: Formal Methods Syst. Des. (2004)

Keyphrases

finite automata
probabilistic automata
cellular automata
regular expressions
finite number
database
finite state machines
grammatical inference
tree automata
unit length
real time
data sets
neural network
multiscale
pattern matching
execution traces