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 格鲁吉亚Kouttis 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） 按年份列出的引文