Parallel refinement for multi-threaded program verification.

Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang

Browse the full ICSE paper archive.