Login / Signup
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