Formal Methods in Computer-Aided Design, Austin, Vereinigte Staaten

<p>FMCAD 2015 is the fifteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification&#046; FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems&#046; FMCAD covers formal aspects of computer&#8211;aided system design including verification, specification, synthesis, and testing&#046;</p> <p>FMCAD was first held in 1996, and was a bi&#8211;annual conference until 2006, when the FMCAD and CHARME conferences merged into a single annual conference&#046; Before merging, FMCAD was held in the United States on even years and its sister conference, CHARME, was held in Europe on odd years&#046; Since 2006, the FMCAD conference has been held annually at various international venues&#046;<br></p><p><br></p>