照片版权所有安德烈·库斯内特索夫. CAV 2013是致力于推进硬件和软件系统计算机辅助形式分析方法的理论和实践的系列中的第25个。CAV认为继续保持其在硬件验证方面的领先地位、保持其在软件验证方面的近期势头以及考虑生物系统等新领域至关重要。会议涵盖了从理论结果到具体应用的范围，重点讨论了实际验证工具及其实现所需的算法和技术。 CAV 2013感谢以下赞助商的支持：
