SPIN 2017 - International Symposium on Model Checking of Software

Jeudi
13
Jui
2017
Mercredi
12
Jui
2017

SPIN 2017

24th International Symposium on Model Checking of Software

Santa Barbara, CA, USA, July 13-14, 2017

http://conf.researchr.org/home/spin-2017

Collocated with ISSTA 


The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, empirical evaluation, and education.

History: The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the Spin model checker. However, over the years it has evolved to a broadly scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, and symbolic execution.


Organization