Runtime Verification Monitor Construction for Three-valued PPTL.

Xiaobing Wang Dongmiao Liu Liang Zhao Yina Xue

Published in: SOFL+MSVL (2016)

Keyphrases

real time
model checking
monitoring system
image processing
construction process
formal verification
verification method
data mining
computer vision
information systems
image sequences
face verification
concurrent systems