Title: Interactive program verification using virtual programs