{"product_id":"model-checking-software","title":"Model Checking Software","description":"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.","brand":"Springer Nature Switzerland AG","offers":[{"title":"Default Title","offer_id":58639708815695,"sku":"9783032356376","price":79.95,"currency_code":"EUR","in_stock":true}],"url":"https:\/\/www.suomalainen.com\/products\/model-checking-software","provider":"Suomalainen.com","version":"1.0","type":"link"}