Havelund - SPIN Model Checking and Software Verification 7th Interna - X555z

Verification, Model Checking, and Abstract Interpretation: 25th International Co

Sokolsky - Runtime Verification 7th International Workshop RV 2007 - X555z

Model Checking Software: 31st International Symposium, SPIN 2025, Hamilton, ON,

Software Technologies: Applications and by Manuel Mazzara PAPERBACK

Godefroid - Model Checking Software 12th International SPIN Workshop - X555z

Bosnacki - Model Checking Software 14th International SPIN Workshop - X555z

Valmari - Model Checking Software 13th International SPIN Workshop - X555z