首页
标签
boogie
如果我使用不同的 Boogie 后端来检查 Dafny 翻译的 bpl 文件，我能否找到非伪造的反例？
Dafny/Boogie 中的触发器是什么？