Runtime Verification by Convergent Formula Progression.

Yan Shen Jianwen Li Zheng Wang Ting Su Bin Fang Geguang Pu Wanwei Liu Mingsong Chen

Published in: APSEC (1) (2014)

Keyphrases

model checking
formal methods
verification method
distributed systems
concurrent systems
linear temporal logic
computer vision
image sequences
multi agent systems