Practical Verification of System-Software Components Written in Standard C.

Can Cebeci, Yonghao Zou, Diyu Zhou, George Candea, Clment Pit-Claudel

Browse the full SOSP paper archive.