Automatically Refining Partial Specifications for Program Verification.

Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He

Browse the full FM paper archive.