The SPIN symposium aims at bringing together researchers an d practitioners interested in automated tool-based techniques for the analysis of software as well a s models of software, for the purpose of verificat ion and validation. The symposium specifically foc uses on concurrent software, but does not exclude analysis of sequential software.
\n\nThe S PIN symposium originated as a workshop focusing on explicit state model checking, specifically as re lated to the Spin model checker. However, over the years it has evolved to a broadly scoped symposiu m for software analysis using any automated techni ques, including model checking, automated theorem proving, symbolic execution, etc. SPIN 2017 will b e arranged as a ACM SIGSOFT event, collocated with the International Symposium on Software Testing a nd Analysis (ISSTA 2017).
\nS ubmissions are solicited on theoretical results, n ovel algorithms, tool development, and empirical e valuation. With the exception of survey and histor y papers, submissions must be original and should not have been published previously or be under con sideration for publication while being evaluated f or this symposium. We are soliciting two categorie s of papers: Full Research Papers (describing full y developed work and complete results) and Short P apers (presenting tools, technology, experiences w ith lessons learned, new ideas, work in progress w ith preliminary results, and novel contributions t o formal methods education).
\n