Formal Methods – The Next 30 Years

Explore the future of formal methods with "Formal Methods – The Next 30 Years," authored by Maurice H. ter Beek and published by Springer Nature Switzerland AG in 2019. This comprehensive volume features the refereed proceedings from the 23rd Symposium on Formal Methods, FM 2019, which took place in Porto, Portugal, as part of the Third World Congress on Formal Methods. Spanning an impressive 774 pages, this edition includes 44 meticulously reviewed full papers and 3 invited presentations, all selected from a competitive pool of 129 submissions. Ideal for researchers and practitioners alike, this book offers valuable insights into the evolving landscape of formal methods and their applications. Don't miss the opportunity to enrich your understanding of this critical field in computer science.