Formal Methods in Computer-Aided Design (FMCAD)

FMCAD is a conference focusing on formal aspects of computer-aided system design, including verification, specification, synthesis, and testing. It operates with technical sponsorship from IEEE and aims to have its proceedings indexed in major databases. The event is positioned within engineering and technology venues and is associated with formal methods in CAD.