第13届无限状态系统验证国际研讨会论文集
计算机科学中的逻辑
2011-11-14 v1 软件工程
摘要
本卷收录了第13届无限状态系统验证国际研讨会 (INFINITY 2011) 的论文集。该研讨会于2011年10月10日在台湾台北举行，作为第9届自动验证与分析技术国际研讨会 (ATVA) 的卫星会议。INFINITY 研讨会旨在为对无限状态系统分析的形式化方法与算法技术的发展，及其在复杂软硬件系统自动验证中的应用感兴趣的研究人员提供一个交流平台。
关键词
引用
@article{arxiv.1111.2678,
title = {Proceedings 13th International Workshop on Verification of Infinite-State Systems},
author = {Fang Yu and Chao Wang},
journal= {arXiv preprint arXiv:1111.2678},
year = {2011}
}