Practical Tactics for Verifying C Programs in Coq.

Jingyuan Cao, Ming Fu, Xinyu Feng

Browse the full CPP paper archive.