Model Checking Software

Discover the cutting-edge research in "Model Checking Software," authored by Georgiana Caltais and published by Springer International Publishing AG in 2023. This first edition features the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, which took place in Paris, France, from April 26–27, 2023. With a total of 199 pages, this insightful volume includes 9 full papers and 2 short papers, all meticulously reviewed and selected from a competitive pool of 21 submissions. Ideal for researchers and practitioners in mathematics and software verification, this book provides valuable insights into the latest advancements in model checking techniques. Enhance your understanding of software reliability and verification with this essential resource for professionals in the field.