铁路系统中大型数据集的形式化检查
软件工程
2012-10-29 v2
摘要
本文介绍了使用 B / Event-B 数学语言和 ProB 模型检查器针对规范验证大型数据集的工业经验。
引用
@article{arxiv.1210.6815,
title = {Formally Checking Large Data Sets in the Railways},
author = {Thierry Lecomte and Lilian Burdy and Michael Leuschel},
journal= {arXiv preprint arXiv:1210.6815},
year = {2012}
}
备注
In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012