On Barbs and Labels in Reactive Systems

Filippo Bonchi Fabio Gadducci Giacoma Valentina Monreale

Published in: SOS (2009)

Keyphrases

reactive systems
model checking
temporal logic
information flow
petri net
formal methods
training data
state machines
real time systems
pairwise
control flow
training set
databases
multi label
class labels
decision making
machine learning