Login / Signup
An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems.
Yongwang Zhao
David Sanán
Fuyuan Zhang
Yang Liu
Published in:
CoRR (2018)
Keyphrases
</>
reactive systems
temporal logic
model checking
information flow
petri net
knowledge base
formal methods
event detection
knowledge representation
communication networks
state machines
event driven
real time systems
production rules
data mining
control flow
mutual exclusion
computer networks
machine learning