Formal Methods (FM 2019) International Workshops (Porto, Portugal, October 7-11, 2019; Revised Selected Papers, Part II)

This collection of revised selected papers presents the findings from the various workshops held during the 23rd Symposium on Formal Methods in Porto, Portugal, in October 2019. The contributions span a wide range of topics within the realm of formal methods, showcasing the vibrant discussions and innovative ideas generated during these sessions. With participants hailing from diverse backgrounds, the compilation offers a rich tapestry of perspectives, advancing the field of programming and software engineering.

Each paper reflects the collaborative spirit of the workshops, emphasizing both theoretical advancements and practical applications. The authors, a mix of established researchers and emerging voices, tackle critical challenges in formal methods, providing readers with insights into cutting-edge research and future directions. By capturing this dynamic exchange of knowledge, the book serves as an essential resource for practitioners and scholars alike, reinforcing the importance of formal methods in enhancing software reliability and correctness.