C Code Verification based on the Extended Labeled Transition System Model.

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

Browse the full MODELS paper archive.