变量子图相关硕士博士期刊学术论文 - 搜论网

变量子图相关论文

VASR-CBMC：基于变量子图的多线程程序验证

Yogar-CBMC基于事件顺序图实现了反例抽象精化思想,是当前最有效的多线程程序验证工具之一。针对事件顺序图过于复杂,导致判断反例......

期刊

程序验证变量子图反例抽象精化事件顺序图 program verification variable subgraph CEGAR event order

看过本文同时还关注