Gopalakrishnan，Ganesh L。（编辑）;沙兹·卡迪尔（编辑） 前言。 （英语） Zbl 1284.68015号 形式方法系统。设计。 41，第1、3号（2012年）. 正文：本期《系统设计中的形式化方法》特刊专门介绍2011年7月14日至20日在美国犹他州雪鸟市举行的第23届计算机辅助验证（CA）年会上选定论文的扩展版本。本期特刊包含我们在项目委员会的帮助下选择的六篇论文，被认为是CAV 2011年接受的最佳论文之一。它们还代表了CAV会议感兴趣的广泛领域。这个问题还包括2011年CAV奖的公告。 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 00B25型 杂项特定利益的会议记录 68号30 软件工程的数学方面（规范、验证、度量、需求等） 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit{G.L.Gopalakrishnan}（编辑）和\textit{S.Qadeer}（编），《形式方法系统》。设计。41、第1、3号（2012；Zbl 1284.68015） 全文： 内政部