在轨 swMATH ID: 11950 软件作者： James，P.、Trumble，M.、Treharne，H.、Roggenbach，M.和Schneider，S。 说明： OnTrack：用于铁路验证的开放工具环境。OnTrack工具集自动化了铁路验证的工作流，从图形方案计划开始，到自动生成的用于验证的正式模型结束。OnTrack基于已建立的领域规范语言（DSL），在所使用的正式规范语言中是通用的。使用DSL可以形成抽象，这些抽象可以在几种形式规范语言中进行验证。OnTrack是萨里大学（马修·特朗布尔、海伦·特雷哈恩和史蒂夫·施奈德）与斯旺西大学（菲尔·詹姆斯和马库斯·罗根巴赫）合作开发的。 主页： 网址：http://www.csp-b.org/ 相关软件： 模型案例;PVSio-网;E定理证明器;赫茨;SPASS公司;CASL公司 引用于： 1文件 2位作者引用 1 菲利普·詹姆斯 1 马库斯·罗根巴赫 在1个序列中引用 1 计算机科学中的数学 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文