VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs

Qinxiang Cao, Lennart Beringer, Samuel Gruetter, Josiah Dodds, Andrew W. Appel

Research output: Contribution to journalArticlepeer-review

26 Scopus citations

Fingerprint

Dive into the research topics of 'VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science