Model Checking Software
32nd International Symposium, SPIN 2026, Turin, Italy, April 15–16, 2026, Proceedings
Arnd Hartmanns editor Vincenzo Ciancia editor
Format:Paperback
Publisher:Springer Nature Switzerland AG
Publishing:24th Feb '27
£49.99
This title is due to be published on 24th February, and will be despatched as soon as possible.
This book constitutes the refereed proceedings of the 32nd International Symposium on Model Checking Software, SPIN 2026, held in Turin, Italy, during April 15–16, 2026.
The 5 full papers, 1 short paper, and 1 tool paper included in this Volume were carefully reviewed and selected from 17 submissions. The focus of the symposium was on symbolic and state space-based techniques for the validation and analysis of software systems.
ISBN: 9783032356376
Dimensions: unknown
Weight: unknown
133 pages