VERSA公司 swMATH编号： 21393 软件作者： D.克拉克、I.李、H.l.谢 描述： VERSA：用于规范和分析资源绑定实时系统的工具。VERSA是一种辅助实时系统代数分析的工具。它基于ACSR，ACSR是一个定时进程代数，用于表示资源受限的实时分布式系统。VERSA支持通过代数重写、交互执行和等价测试来分析实时过程。本文首先简要概述了进程代数ACSR及其语法、操作语义和等价关系。详细描述了VERSA的进程和命令语法、代数重写系统及其基于状态的分析特性。该演示文稿包括说明ACSR显著特性的示例，以及演示该工具在实时系统分析中应用的示例VERSA会话的输出。索引术语实时系统、过程代数、规范、验证、形式描述技术、资源、优先级、软件工程工具。1简介实时系统的可靠性可以提高。。。 主页： http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.54.8018 相关软件： Uppaal公司;M-树;克洛诺斯;MRMC公司;fc2工具;mCRL2型;西尔万;BISIMULATOR（双模拟）;SIGREF公司;CAESAR_解决;MWB公司;Exp.未结;LTSmin公司;APNN-工具箱;TVT电视;并发工作台;棱镜;规格;微CRL;政治公众人物协议 引用于： 3文件 全部的 前5名10位作者引用 2 李因苏普 1 安，Sojin 1 帕特丽斯·布莱蒙德·格雷戈里 1 Choi、Jin Young 1 休伯特·加拉维 1 黄大渊 1 Kang，英耶 1 弗雷德里克·朗 1 Park，Junkil公园 1 奥列格·索科尔斯基 2篇连载文章中引用 1 理论计算机科学 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文