Specifying Reactive Systems with Attributed Finite State Machines.

Shiyuan Ding Takuya Katayama

Published in: IWSSD (1993)

Keyphrases

finite state machines
reactive systems
model checking
temporal logic
formal specification
state machine
finite state automata
formal methods
petri net
information flow
control flow
state machines
regular expressions
query language
data model
data mining
databases