Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings

The proceedings document the impactful findings and developments presented at the 17th International Conference on Integrated Formal Methods, held in Lugano, Switzerland. It showcases a vibrant collection of research that pushes the boundaries of formal methods in computation.

Contributors from various disciplines have carefully shared their insights, presenting rigorous methodologies that bridge theory and practical applications. This compilation highlights the evolving landscape of integrated formal approaches and their significance in enhancing software reliability and system safety.

Readers will find a wealth of knowledge that not only spans traditional topics but also embraces new challenges and emerging technologies within the field. The editors have meticulously curated the content to ensure it serves as a valuable resource for academics and practitioners alike.