Model Checking Software
Broschiertes Buch

Model Checking Software

31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings

Herausgegeben: Ernst, Gidon; Rozier, Kristin Yvonne
Versandkostenfrei!
Erscheint vorauss. 8. November 2025
34,99 €
inkl. MwSt.
PAYBACK Punkte
17 °P sammeln!
This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7 8, 2025.The 9 full papers included in this book were carefully reviewed and selected from 20 submissions. They focus on topics related to formal verification for automated analysis of (concurrent) software/hardware, including model checking, deductive verification, automated theorem proving (including SAT and SMTsolving), abstraction and symbolic execution techniques, static analysis and abstract interpretation, modular and composi...