Proceedings of the International Conference on Formal Methods in Computer-Aided Design

The International Conference on Formal Methods in Computer-Aided Design, FMCAD, is a series of conferences on the theory and application of formal methods to the computer-aided design and verification of hardware and systems. The eleventh conference in the series, FMCAD 2011, was held in Austin, Texas, USA, October 30th -- November 2nd. In the past, FMCAD took place in the United States on even years and its sister conference CHARME was held in Europe on odd years. In 2006, these two conferences merged to form an annual conference with a unified international community. The merged conference inherited the name FMCAD, and is now held yearly. It provides a leading international forum for researchers and practitioners in academia and industry to present and discuss novel methods, technologies, theoretical results and tools for formal reasoning about computing systems. This year, the conference received in-cooperation status with ACM under the Special Interest Group on Programming Languages and the Special Interest Group on Software Engineering. It also received technical sponsorship from the IEEE Council on Electronic Design Automation. Three additional events were co-located with the conference this year: the ACL2 Workshop, the Design and Implementation of Formal Tools and Systems (DIFTS) Workshop, and the Hardware Model Checking Competition (HWMCC). The FMCAD 2011 conference received 72 submissions. Each submission was reviewed by at least four reviewers, and some submissions received five or six reviews. After a long decision process that involved often vigorous discussions by Program Committee members and subreviewers, 26 submissions were eventually selected for presentation at the conference --- 21 as regular papers and 5 as short papers. The accepted papers covered topics ranging from model checking and solver technology to design for verification. Moreover, they addressed a broad spectrum of abstraction levels ranging from analog and mixed-signal, and real-time systems to traditional synchronous hardware and C code.