Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings

This work presents a comprehensive overview of the discussions and findings from the Third World Congress on Formal Methods, held in Porto, Portugal. Featuring contributions from leading experts in the field, it delves into the future of formal methods and their applications in various areas of computer science.

The proceedings highlight invited presentations that cover a range of topics related to verification, synthesis techniques, concurrency, and model checking. Each section offers insights into both theoretical advances and practical implications, showcasing the evolution and potential of formal methods over the next three decades.

Through collaborative research and innovative approaches, this collection underscores the importance of formal methods in ensuring reliability and correctness in software and systems engineering, making it an essential read for professionals and researchers alike.