{"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":"Gardners","offers":[{"title":"Default Title","offer_id":57536553550197,"sku":"9783032356376","price":49.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/backstory.london\/products\/model-checking-software","provider":"Backstory","version":"1.0","type":"link"}