Verified Software. Theories, Tools and Experiments

Discover cutting-edge research in software verification with Verified Software: Theories, Tools and Experiments by Andrew Reynolds. This insightful book is the official proceedings of the 15th International Conference on Verified Software, VSTTE 2023, which took place in Ames, IA, USA, on October 23–24, 2023. The volume features six meticulously reviewed and selected full papers from a competitive pool of thirteen submissions, showcasing the latest advancements in the field. Published by Springer International Publishing AG in 2024, this paperback edition spans 109 pages and offers valuable insights for researchers, practitioners, and students interested in software verification methodologies and tools. Enhance your understanding of verified software with this essential addition to your library.