TSPASS公司 swMATH ID: 6567 软件作者： M.路德维希 描述： TSPASS系统（即校准器本身和翻译工具）由Michael Ludwig开发，并根据GNU通用公共许可证v3的条款和条件发布。 主页： http://cgi.csc.liv.ac.uk/~迈克尔/TLBook/TSPASS系统/ 关键词： 定理证明器;一阶一元LTL 相关软件： TRP公司++;NuSMV公司;临时雇员;阿尔塔;利维坦;E定理证明器;SPASS公司;VAMPIRE公司;TTM公司;github;VaqTree（价值树）;BGL公司;VaqUoT（价值计量单位）;MUP公司;促进;增强C++库;CTL-RP公司;MSPASS公司;METATEM公司;SLAM公司 引用于： 9文件 更多出版物： http://lat.inf.tu-dresden.de/~michel/出版物/ 全部的 前5名13位作者引用 4 乌尔里希·赫斯塔特 2 克莱尔·狄克逊 2 迈克尔·费希尔 2 米歇尔·路德维希 1 亚历山德罗·阿塔尔 1 罗马人孔查科夫 1 乔治·库蒂斯 1 阿列克谢·利西萨（Alexei P.Lisitsa）。 1 安娜·奥扎基 1 弗拉迪斯拉夫·里日科夫 1 雷娜特·施密特（Renate A.Schmidt）。 1 维克托·舒潘 1 迈克尔·维克托洛维奇（Michael Viktorovich） 5篇连载文章中引用 1 信息学报 1 自动推理杂志 1 AI通信 1 系统设计中的形式化方法 1 ACM计算逻辑事务 在3个字段中引用 9 数学逻辑和基础（03-XX） 8 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文