Verified Software. Theories, Tools, and Experiments

Discover the cutting-edge insights in "Verified Software: Theories, Tools, and Experiments" by Supratik Chakraborty, published by Springer Nature Switzerland AG in 2020. This essential volume features the thoroughly refereed post-conference proceedings from the 11th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2019), held in New York City. Within its 193 pages, you'll find 9 meticulously revised full papers selected from a competitive pool of 17 submissions. This book is a must-have for researchers and practitioners interested in the latest developments in software verification, providing a comprehensive overview of innovative theories, tools, and experimental results. Enhance your understanding of verified software with this invaluable resource that bridges the gap between theory and practical application.