使用一个或多个自动机的系统验证

摘要

使用一个或多个自动机的系统验证。这里公开了一种方法和装置，该方法和装置用于操纵非确定自动器和非确定自动器的遍历，用于待测试设备的动态验证。