Automated Verification with Abstract State Machines Using Multiway Decision Graphs

机译：结合HOL归纳和多路决策图的抽象可达性方法

机译：基于多路决策图的单电子晶体管阵列自动验证

机译：通过随机优化最小化用于RTL验证的多路决策图

机译：随机优化最小化RTL验证的多道决策图

机译：基于多路决策图的抽象属性验证器。

机译：研究筛选器：半自动化抽象筛选的机器学习工具用于系统评价

机译：使用多路决策图描述和验证RTL设计

机译：abc-machine：基于序列堆栈的图形重写抽象机

机译：用于接收钞票的自动柜员机，其具有设置在钞票的输送路径中并且可基于来自钞票验证单元的验证信号进行控制的喷墨打印机，从而为经过验证的钞票提供题词

机译：分割决策图生成的方法和装置，以及计算过程数据验证的方法和装置

机译：二分决策图变量序列确定方法和使用该方法的逻辑电路设计验证方法