Model checking software: 32nd international symposium, spin 2026, turin, italy, april 15–16, 2026, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783032356376
Date de publication :
28 oct. 2026
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.