Rigorous Examination of Reactive Systems: The RERS Challenge 2015.

Maren Geske Malte Isberner Bernhard Steffen

Published in: RV (2015)

Keyphrases

reactive systems
temporal logic
model checking
petri net
information flow
formal methods
state machines
control flow
web services