Compositional Verification of Concurrent C Programs with Search Structure Templates.

Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang

Browse the full CPP paper archive.