Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings /
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 or...
محفوظ في:
| مؤلف مشترك: | |
|---|---|
| مؤلفون آخرون: | , |
| التنسيق: | الكتروني كتاب الكتروني |
| اللغة: | الإنجليزية |
| منشور في: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| الطبعة: | 1st ed. 2023. |
| سلاسل: | Lecture Notes in Computer Science,
13872 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://doi.org/10.1007/978-3-031-32157-3 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| الملخص: | 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. |
|---|---|
| وصف مادي: | 1 online resource (X, 199 p. 50 illus.). 24 illus. in color. |
| ردمك: | 9783031321573 |
| تدمد: | 1611-3349 ; |
| DOI: | 10.1007/978-3-031-32157-3 |