SAL公司 swMATH编号： 13318 软件作者： 格雷戈伊尔·哈蒙、莱昂纳多·德·莫拉、约翰·拉什比 描述： SAL公司。符号分析实验室是一个探索和分析指定为转换关系的并发系统的环境。它的语言包含了PVS的许多吸引人的特性。SAL工具包提供了几种用于检查SAL规范的工具，包括三种不同的LTL高性能模型检查器：符号、有界和无限。无限模型检查器使用Yices为在无限数据类型（例如整数和实数）上定义的系统提供有界模型检查。此外，有界和无限界模型检查器都可以通过k归纳证明不变量。SAL自2002年开始提供，自2006年12月发布3.0版以来一直是开源的。 主页： 网址：http://sal.csl.sri.com/ 相关软件： 自旋蛋白;PVS公司;RAISE（升起）;光泽;杂交Sal;AETG公司;Matlab公司;Simulink公司;状态流;NuSMV公司;日本运通银行;Yices公司;尤里卡;CBMC公司 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 SAL 2。 Zbl 1103.68644号莱昂纳多·德·莫拉;萨姆·奥雷;哈拉尔德街;约翰·拉什比;北卡罗来纳州Shankar。;玛丽亚·索里亚;阿什什·蒂瓦里 2004 全部的 前5名14位作者引用 2 莱昂纳多·德·莫拉 2 萨姆·奥雷 2 哈拉尔德街 2 约翰·拉什比 2 Natarajan Shankar 1 安德烈亚·卡尔瓦格纳 1 安吉洛·加甘蒂尼 1 西恩·盖斯勒 1 清朝滨口 1 安妮·伊丽莎白·哈克斯豪森 1 Kashiwabara、Toshinobu 1 Hiroaki清水 1 玛丽亚·索里亚 1 阿什什·库马尔·蒂瓦里 2篇连载文章中引用 1 自动推理杂志 1 计算的形式方面 在4个字段中引用 5 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文