移动自组网中参数化可达性的代价
计算机科学中的逻辑
2012-02-28 v1
摘要
我们研究了自发移动对基于自动机的选择性广播通信网络协议模型验证问题复杂度的影响。我们首先考虑错误状态的可达性，并证明参数化验证是可判定的，且具有多项式复杂度。然后我们转向更丰富的查询，并展示当考虑带有否定或基数约束的性质时，复杂度如何变化。
引用
@article{arxiv.1202.5850,
title = {The Cost of Parameterized Reachability in Mobile Ad Hoc Networks},
author = {Giorgio Delzanno and Arnaud Sangnier and Riccardo Traverso and Gianluigi Zavattaro},
journal= {arXiv preprint arXiv:1202.5850},
year = {2012}
}