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