TU Wien Academic Press – New release: FMCAD 2023 Conference Proceedings

The proceedings of the conference "Formal methods in computer-aided design 2023" provide up-to-date insight into an exciting field of research.

Text "Proceedings of the 23rd conference on Formal Methods in Computer-Aided Design - FMCAD 2023"

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