Verification of safety properties for concurrent assembly code.

Dachuan Yu, Zhong Shao

Browse the full ICFP paper archive.