Technology, Engineering, Agriculture, Industrial Processes, Electronics and Communications Engineering, Electronics Engineering, Automatic Control Engineering
Model Checking Software

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

, ,
Paperback Published on: 13/10/2024
£44.99
UK delivery included
In stock
Print on demand - Usually dispatched within 7-10 days
Make and edit your lists in your account
wordery
has a fantastic rating on
In stock
Print on demand - Usually dispatched within 7-10 days
wordery
has a fantastic rating on

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.

Publisher information

  • Publisher: Springer Nature Switzerland
  • ISBN: 9783031661488
  • Number of pages: 258
  • Dimensions: 235 x 155 x 15 mm
  • Weight: 404g
  • Languages: English