Scalable Verification Framework for C Program.

Guang Chen Dexi Wang Tianchi Li Chao Zhang Ming Gu Jiaguang Sun

Published in: APSEC (2018)

Keyphrases

lightweight
main contribution
high level
search algorithm
multi agent systems
theoretical framework
framework enables
machine learning
clustering algorithm
multiscale
artificial neural networks
programming environment