Model checking software: 27th international symposium, spin 2021, virtual event, july 12, 2021, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030846282
Date de publication :
3 août 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions.