Model Checking Software | 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Georgiana Caltais (u. a.)

ISBN 10: 3031321561 / ISBN 13: 9783031321566

Verlag: Springer, 2023

Model Checking Software | 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings | Georgiana Caltais (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2023 | Springer | EAN 9783031321566 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 126784284

Inhaltsangabe:

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.

Bibliografische Details

Titel: Model Checking Software | 29th International...
Verlag: Springer
Erscheinungsdatum: 2023
Einband: Taschenbuch
Zustand: Neu