Validating the correctness of reactive systems specifications through systematic exploration.

Dor Ma'ayan Shahar Maoz Roey Rozi

Published in: MoDELS (2022)

Keyphrases

reactive systems
temporal logic
information flow
control flow
model checking
formal methods
transition systems
petri net
real time systems
state machines
database
databases
machine learning
artificial intelligence
web services
data flow