美国汽车制造商协会 swMATH编号： 25797 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；朱莉娅·萨皮娜 描述： 用TAME推断安全Maude程序。在本文中，我们介绍了一种基于断言的程序专门化工具，用于多参数语言Maude。程序专门化器“TAME”将一组模拟预期程序行为的系统断言作为输入，再加上一个专门化的Maude程序R，它可能违反a中的某些断言。该工具的结果是一个安全的程序优化R′of R，其中每个计算都是良好的运行，即它满足a中的断言。在新窗口中的Open图像中编码的专门化技术是完全自动的，可以确保R′中没有好的R游程，而坏的游程数量减少到零。我们通过专门化一个过于通用的非确定性大坝控制器来实现一组系统断言给出的安全策略，从而展示了该工具的功能。 主页： https://link.springer.com/chapter/10.1007%2F978-3-319-96418-8_1 相关软件： 莫德；ABETS公司；Liquid Haskell公司；艾朱利安；3BA公司；Axl公司；弗朗西；离散ZOO；利托品；提奥里古鲁；Polytop公司；整数序列；同伦延续；轨道飞行器；寄生虫学；SageMath公司；麦考利2 引用于： 3文件 全部的 前5名7位作者引用 2 玛丽亚·阿尔普特 2 黛米斯·巴利斯 2 朱莉娅·萨皮娜 1 詹姆斯·哈罗德·达文波特 1 曼纽尔·考尔斯 1 乔治·拉巴恩 1 约瑟夫·乌尔班 2篇连载文章中引用 1 计算机科学课堂讲稿 1 计算机科学中的数学 在3个字段中引用 三 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数值分析（65-XX） 按年份列出的引文