典型文献
面向形式化验证的联锁翻译器软件设计
文献摘要：
根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、TLE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件.最后详细说明翻译器软件基于函数式语言OCaml的代码实现.
文献关键词：
联锁系统;形式化验证;翻译器软件;OCaml;函数式语言
中图分类号：
作者姓名：
王绍新;王燕芩;闫连山
作者机构：
卡斯柯信号(成都)有限公司,成都 610083;西南交通大学信息科学与技术学院,成都 611756;卡斯柯信号有限公司,上海 200071
文献出处：
引用格式：
[1]王绍新;王燕芩;闫连山-.面向形式化验证的联锁翻译器软件设计)[J].铁路通信信号工程技术,2022(02):18-23,42
A类：
翻译器软件,逻辑文件,函数式语言,OCaml
B类：
形式化验证,软件设计,联锁系统,验证系统,系统需求,联锁数据,总体方案,TLE,布尔,翻译转换,LCF,细说,代码
AB值：
0.237332
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
