ASMKeY公司 swMATH ID: 25427 软件作者： 南城，斯坦尼斯拉斯；Robert F.Stärk。 描述： 抽象状态机的安全逻辑。我们通过读谓词扩展了抽象状态机的逻辑，该谓词允许对ASM的位置访问做出精确的语句。该逻辑可用于证明ASM的安全属性，例如机器不读取包含关键信息的位置，或者机器的所有访问都位于抽象内存的定义明确的区域中。新的read谓词对于证明并行ASM对顺序类C程序的改进也很有用。分层ASM的逻辑已完成，涡轮ASM的仍有声音。它集成在ASMKeY定理证明器中。 主页： https://link.springer.com/chapter/10.1007/978-3-540-24773-9_13 相关软件： KeY公司；ANTLR公司；Why3号机组；甲酚；布吉；电子稳定控制系统/Java；Caduceus公司；凯伊马拉；卡拉卡拉；KeY-C公司；PVS公司；JML公司；ASM工作台；XASM公司；法尔科；核心ASM；ACL2型；液化石油气处理厂 引用于： 6文件 全部的 前5名8位作者引用 三 Robert F.Stärk。 2 沃尔夫冈·阿伦特 2 斯坦尼斯拉斯南城 1 伯恩哈德·贝克特 1 伊贡博格尔 1 迪拉，马克西米利安 1 雷纳·哈内尔 1 彼得·施密特。 3篇连载文章中引用 2 理论计算机科学 1 计算机程序设计科学 1 计算的形式方面 在2个字段中引用 6 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文