Modular verification of concurrent assembly code with dynamic thread creation and termination.

Xinyu Feng, Zhong Shao

Browse the full ICFP paper archive.