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.
| ISBN: | 9783031321566 |
| Publication date: | 2nd May 2023 |
| Author: | Georgiana Caltais |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 199 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Automatic control engineering Software Engineering Artificial intelligence Computer hardware |