准确性 swMATH ID: 30356 软件作者： 伊斯塔夫，K.A。；Ozols，医学硕士。；超高，A。 描述： 状态机设计的实用推理工具。关键系统（例如，安全关键和安全关键系统）需要最高级别的保证。关键系统的有效工程设计仍然缺乏易于使用、实用且值得信赖的工具，这些工具允许探索可能的设计策略，并支持对其关键特性进行形式化推理。本文描述了Veracity原型工具，旨在为关键软件设备状态机设计的建模和推理提供支持。该工具有三个主要组件：用于构建状态转换图的图形编辑器；动画师，探索机器的符号执行；和校准仪，用于验证机器的关键性能。 主页： https://dl.acm.org/citation.cfm？id=787154 关键词： 状态机；过渡图；矢列演算；验证步骤；原型验证系统 相关软件： 夏贝尔；PVS公司；伊莎贝尔 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 图形环境中状态机理论的证明策略。 Zbl 1430.68400号伊斯托夫，K.A。；Ozols，医学硕士。；超高，A。 1997 3位作者引用 1 超高，A。 1 英国伊斯塔夫。 1 Maris A.Ozols。 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文