Formal Methods: Foundations and Applications

Discover the essential insights of formal methods with Formal Methods: Foundations and Applications by Sérgio Campos. This first edition, published by Springer Nature Switzerland AG in 2021, compiles the refereed proceedings from the 24th Brazilian Symposium on Formal Methods (SBMF 2021), held in December 2021. Spanning 141 pages, this book delves into the foundational theories and practical applications of formal methods, making it an invaluable resource for researchers and practitioners in the field. Enhance your understanding of this critical area of study and explore the latest advancements presented by leading experts. Perfect for those looking to deepen their knowledge and stay updated on formal methods, this book is a must-have for your collection.