You might also like

More about Model Checking Software

• Book details
• Synopsis
• Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.

The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.

Book details

Book category Books in English Technology, engineering, agriculture Electronics & communications engineering Electronics engineering

• Full title: Model Checking Software
• Subtitle: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
• Author: Thomas Neele, Anton Wijs
• Language: English
• Binding: Paperback
• Number of pages: 260
• EAN: 9783031661488
• ID: 46145408
• Publisher: Springer, Berlin
• Weight: 435 g
• Dimensions: 235 × 155 mm
• Date of publishing: 04. October 2024

Trending among others

---

---

---