On Combining Formal and Informal Verification.

Jun Yuan, Jian Shen, Jacob A. Abraham, Adnan Aziz

Browse the full CAV paper archive.