Formal Methods: Foundations and Applications

Discover the essential insights of formal methods with Formal Methods: Foundations and Applications by Gustavo Carvalho. This comprehensive volume, published by Springer Nature Switzerland AG in 2020, presents the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods (SBMF 2020). Although the symposium was scheduled to be held in the picturesque city of Ouro Preto, Brazil, in November 2020, this book captures the valuable contributions and discussions that emerged from the event.

Spanning 229 pages, this first edition offers a wealth of knowledge for researchers, practitioners, and students interested in the foundations and applications of formal methods. Explore the cutting-edge developments in this field and enhance your understanding of formal techniques that are critical for software and systems engineering. Don't miss the opportunity to add this significant work to your collection!