验证

√erics:验证时间自动机和Estelle规范的工具。本文介绍了一种新的时间自动机自动验证工具,以及用规范化语言Estelle编写的协议。当前版本提供了从Estelle规范到时间自动机的自动转换,以及两种互补的可达性分析方法。第一种是基于有界模型检验(BMC),第二种是对系统抽象模型的动态验证。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换