通过时序逻辑公式评估验证通信协议中的设计决策
软件工程
2017-10-26 v1
摘要
在通信协议的项目开发过程中，许多设计决策会影响协议的行为及其正确性。协议的规范形式化与验证可证明其正确性。本文展示了利用 CSM 自动机进行规范形式化，并通过时序逻辑进行验证的设计决策验证示例。
引用
@article{arxiv.1710.09084,
title = {Verification of Design Decisions in Communication Protocol by Evaluation of Temporal Logic Formulas},
author = {Wiktor B. Daszczuk},
journal= {arXiv preprint arXiv:1710.09084},
year = {2017}
}
备注
15 pages, 7 figures