Modular verification of assembly code with stack-based control abstractions.

Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni

Browse the full PLDI paper archive.