For the fourth time, TU Wien Academic Press is publishing the conference proceedings of the conference "Formal Methods in Computer-Aided Design (FMCAD)". The 2023 edition of the conference series, held annually since 2006, includes over 40 conference papers presenting the most recent scientific findings in the field of computer-aided design. The contributions cover formal aspects of computer-aided system design, including verification, specification, synthesis, and testing.
The 23rd FMCAD conference is held in Ames, Iowa, USA in October 2023. The conference series is considered a leading forum in the field of computer-aided design and since its inception has provided an opportunity for researchers from both academia and industry to exchange ideas and to network.
The publication is available as an e-book, opens an external URL in a new window.
The volume appeared in the Conference Series: Formal Methods in Computer-Aided Design", opens an external URL in a new window.
More on TU Wien Academic Press, opens an external URL in a new window