A Correctness Verification Method for C Programs Based on VCC.

Hongliang Liang Daijie Zhang Xiaoxiao Pei Xiaodong Jia Guangyuan Li Jiuyun Xu

Published in: CSCloud (2016)

Keyphrases

verification method
model checking
temporal logic
provably correct
programming environment
answer sets
data sets
data mining
web services
search algorithm
information technology
source code
computer programs
automatic programming
control structures