铁路通信信号工程技术2022，Vol.19Issue(2)：18-23,42,7.DOI:10.3969/j.issn.1673-4440.2022.02.005
面向形式化验证的联锁翻译器软件设计
Design of Interlocking Translator Software Oriented to Formal Verification
摘要
关键词
联锁系统/形式化验证/翻译器软件/OCaml/函数式语言分类
交通工程引用本文复制引用
王绍新,王燕芩,闫连山..面向形式化验证的联锁翻译器软件设计[J].铁路通信信号工程技术,2022,19(2):18-23,42,7.基金项目
中国国家铁路局集团有限公司科技研究开发计划重点课题(N2021S003) （N2021S003）
四川省重大科技专项(2019ZDZX0007) （2019ZDZX0007）
