FMCAD 2006 is the sixth 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. In addition to the technical program, FMCAD will offer a full day of tutorials on model checking, theorem proving, decision procedures, and the application of such methods in industry. FMCAD will also include panels and affiliated workshops. The conference covers formal aspects of computer–aided system design including verification, specification, synthesis, and testing. In the past, FMCAD was held in the United States on even years and its sister conference, CHARME, was held in Europe on odd years. Recently, the two conferences have decided to merge, and as a result, FMCAD will be a yearly conference from now on. This year′s FMCAD conference will be held in San Jose, California from November 12th through the 16th. For details about the conference, including submission and registration information, follow the links on the left of the page. <b>Keywords:</b> formal methods in hardware and system verification verification, specification, synthesis, and testing
Abbrevation
FMCAD
Link
City
San Jose
Country
United States
Deadline Paper
Start Date
End Date
Abstract