Scalable Verification Framework for C Program.

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

Browse the full APSEC paper archive.