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

摘要

一种方法和装置，该方法和装置用来操纵非确定自动机(114)和非确定自动机的遍历，以用于待测试设备(118)的动态验证(112)。