Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26-27,2023, Proceedings, Lecture Notes in Computer Science 13872
Erschienen am
02.05.2023, 1. Auflage 2023
Bibliografische Daten
ISBN/EAN: 9783031321566
Sprache: Englisch
Umfang: x, 199 S., 26 s/w Illustr., 24 farbige Illustr., 1
Einband: kartoniertes Buch
Beschreibung
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.