Model checking software: 28th international symposium, spin 2022, virtual event, may 21, 2022, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031150760
Date de publication :
23 août 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. formal analysis for modeling languages, such as UML/state charts;