Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 - Narodytska, Nina; Rümmer, Philipp (TU Wien Academic Press, 2024)