Certifying Temporal Properties for Compiled C Programs.

Songtao Xia, James Hook

Browse the full VMCAI paper archive.