谁监督监督者：验证 ProB 验证工具
软件工程
2014-04-29 v1
摘要
多年来，ProB 已从一种辅助证明的工具发展为一种开发环境，现在有时在穷尽模型检查或数据验证等应用中替代证明使用。这导致对 ProB 完整性的要求更加严格。本文总结了我们对 ProB 的验证工作，特别是在 EN 50128 标准背景下以及铁路领域安全关键应用中的工作。
引用
@article{arxiv.1404.6603,
title = {Who watches the watchers: Validating the ProB Validation Tool},
author = {Jens Bendisposto and Sebastian Krings and Michael Leuschel},
journal= {arXiv preprint arXiv:1404.6603},
year = {2014}
}
备注
In Proceedings F-IDE 2014, arXiv:1404.5785