第12届无限状态系统验证国际研讨会论文集
形式语言与自动机理论
2010-11-01 v1 计算复杂性
计算机科学中的逻辑
软件工程
摘要
INFINITY研讨会的宗旨是为对无限状态系统分析的形式化方法与算法技术开发感兴趣的研究人员提供一个论坛，并探讨这些技术在复杂软件与硬件系统自动化验证中的应用。
引用
@article{arxiv.1010.6112,
title = {Proceedings 12th International Workshop on Verification of Infinite-State Systems},
author = {Yu-Fang Chen and Ahmed Rezine},
journal= {arXiv preprint arXiv:1010.6112},
year = {2010}
}