The Proceedings of the conference "Formal methods in computer-aided design 2023" provide up-to-date insight into an exciting field of research.For the fourth time, the contributions of the conference series "Formal Methods in Computer-Aided Design" (FMCAD) are published as conference proceedings by TU Wien Academic Press. The 2023 edition of the conference series, which has been held once a year since 2006, presents the latest scientific findings in the field of computer-aided design in more than 40 contributions. The contributions cover formal aspects of computer-aided system design including verification, specification, synthesis, and testing.The FMCAD conference, held in Ames, Iowa, USA in October 2023, 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.
