Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
不严格地说,模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
不严格地说,模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
应用推荐