Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Set against the backdrop of the 22nd International Conference on Software Engineering and Formal Methods, this collection brings together cutting-edge research and discussions from leading experts in the field. Held in Aveiro, Portugal, the proceedings capture a wide array of topics that highlight the latest advancements in software engineering practices, methodologies, and tools, offering insights into both theoretical and practical aspects.

The authors, Alexandre Madeira and Alexander Knapp, have curated this compilation to serve as a valuable resource for researchers, practitioners, and academics alike. Readers will find contributions that explore innovative formal methods, software quality assurance, and the integration of automation techniques, all aimed at driving progress and enhancing the reliability of software systems in a rapidly evolving technological landscape.