Integrated Formal Methods

Discover the cutting-edge insights in "Integrated Formal Methods," authored by Maurice H. ter Beek and published by Springer International Publishing AG in 2022. This essential volume compiles the refereed proceedings from the 17th International Conference on Integrated Formal Methods (IFM 2022), which took place in the picturesque city of Lugano, Switzerland, in June 2022. With a total of 373 pages, this first edition features 14 full papers and 2 short papers, all meticulously reviewed and selected from 46 submissions. Ideal for researchers, practitioners, and students in the field, this book provides a comprehensive overview of the latest advancements in formal methods integration. Enhance your knowledge and stay ahead in the rapidly evolving landscape of formal methods with this invaluable resource.