Formal Methods in Computer-Aided Design

The twenty-third FMCAD conference, focusing on formal methods in hardware and system verification, will take place on Friday and Saturday. It provides a platform for researchers to present and discuss innovative methods, technologies, and tools for reasoning about computing systems. The conference covers formal aspects of computer-aided system design, including verification, specification, synthesis, and testing. FMCAD was first held in 1996 and became an annual conference in 2006 after merging with CHARME. Prior to the merger, FMCAD and CHARME alternated between the United States and Europe.