国际无限状态系统验证研讨会论文集
计算机科学中的逻辑
2009-11-19 v1 离散数学
形式语言与自动机理论
摘要
本卷收录了第11届国际无限状态系统验证研讨会（INFINITY 2009）的论文集。该研讨会于2009年8月31日在意大利博洛尼亚举行，是第20届国际并发理论会议（CONCUR 2009）的卫星会议。INFINITY研讨会的目的是为对无限状态系统分析的形式化方法和算法技术研究感兴趣的研究人员提供一个论坛，并探讨这些方法在复杂软件和硬件系统自动验证中的应用。
引用
@article{arxiv.0911.3440,
title = {Proceedings International Workshop on Verification of Infinite-State Systems},
author = {Axel Legay},
journal= {arXiv preprint arXiv:0911.3440},
year = {2009}
}