Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables.

Benjamin Hummel Judith Thyssen

Published in: SEFM (2009)

Keyphrases

reactive systems
model checking
temporal logic
information flow
data streams
formal methods
input output
petri net
transition systems
databases
database
control flow
file system
real time
state machines
main memory
decision making
artificial intelligence
database systems