Dimitar Bounov

通过游戏化推断循环不变量

Bounov等人提出游戏化方法解决循环不变量推断问题，玩家可解决自动化验证工具无法处理的复杂任务。