Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems.

Jiannan Zhai Nigamanth Sridhar Jason O. Hallstrom

Published in: RV (2014)

Keyphrases

reactive systems
state machines
model checking
formal methods
temporal logic
information flow
petri net
transition systems
state machine
control flow
design patterns
asynchronous circuits
artificial intelligence
real time systems
frequent patterns
database systems
social networks