ArcAngelC公司 swMATH ID: 6338 软件作者： 马塞尔·奥利维拉（Marcel Oliveira）；Zeyda，Frank；安娜·卡瓦尔坎蒂 说明： ArcAngelC：马戏团的精炼战术语言。Circus是一种细化语言，其中规范使用Z和CSP的组合定义并发系统的数据和行为方面。它的精化理论和演算是独特的，但由于精化可能是长期的和重复的，因此这项技术的实际应用可能很困难。有用的策略已经被识别、描述和使用，通过将它们记录为策略，它们可以作为单个转换规则来表达和重复应用。在这里，我们介绍了ArcAngelC，一种定义此类策略的语言；我们介绍了该语言及其语义，以及它在验证Simulink图指定的控制系统的Ada实现的现有策略的形式化中的应用。我们还将在定理证明器Pro-Power-Z中讨论其机械化。 主页： http://www.cs.york.ac.uk/circus/publications/papers/08-oc.pdf 相关软件： 马戏团;Z轴;电源保护;ZRC公司;ArcAngel公司;爪Z;火花;罗丹;状态流;Simulink公司;马戏团;毫升;剑桥LCF;Z/EVES公司;Matlab公司 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 一种用于细化状态丰富并发规范的策略语言。 Zbl 1218.68101号马塞尔·奥利维拉;泽达，弗兰克;安娜·卡瓦尔坎蒂 2011 3位作者引用 5 安娜·卡瓦尔坎蒂 5 泽达，弗兰克 2 马塞尔·奥利维拉 2篇连载文章中引用 2 计算的形式方面 1 计算机程序设计科学 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文