Behavioral specification of reactive systems using stream-based I/O tables.

Judith Thyssen Benjamin Hummel

Published in: Softw. Syst. Model. (2013)

Keyphrases

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