Integrated Formal Methods

Discover the cutting-edge research in Integrated Formal Methods by Nadia Polikarpova, published by Springer International Publishing AG in 2017. This comprehensive volume, comprising 438 pages, presents the refereed proceedings of the 13th International Conference on Integrated Formal Methods (IFM 2017) held in Turin, Italy. Within these pages, you will find 24 meticulously reviewed full papers and 4 insightful short papers, selected from an impressive pool of 61 submissions. This book is an essential resource for researchers and practitioners interested in the latest advancements in formal methods and their applications. Dive into the world of integrated approaches that enhance software reliability and correctness, making it a must-have for your academic library or personal collection.