Formal Methods in Computer-Aided Design 2010, Lugano, Schweiz

FMCAD 2010 is the tenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. 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. FMCAD covers formal aspects of computer–aided system design including verification, specification, synthesis, and testing. FMCAD 2010 will have several invited speakers, a panel of foremost academic and industrial experts, a high–quality technical program. The first day is reserved for tutorials.