第 15 届无限状态系统验证国际研讨会论文集
形式语言与自动机理论
2014-02-27 v1 计算机科学中的逻辑
摘要
本卷收录了第 15 届无限状态系统验证国际研讨会（Infinity'13）的论文集，该研讨会于 2013 年 10 月 14 日在越南河内举行，是 ATVA'13 的卫星会议。INFINITY 研讨会旨在为研究人员提供一个论坛，以探讨用于分析具有无限多状态系统的形式化方法和算法技术，及其在复杂软件和硬件系统自动验证中的应用。
引用
@article{arxiv.1402.6610,
title = {Proceedings 15th International Workshop on Verification of Infinite-State Systems},
author = {Lukas Holik and Lorenzo Clemente},
journal= {arXiv preprint arXiv:1402.6610},
year = {2014}
}