An MSVL Based Model Checking Method for Multi-threaded C Programs.

Xinfeng Shu Zhenyu Wang Weiran Gao Xiaobing Wang Liang Zhao

Published in: SOFL+MSVL (2020)

Keyphrases

model checking
verification method
temporal logic
dynamic programming
multi threaded
real time
artificial intelligence
computational complexity
genetic programming
heuristic search
formal verification