Model Checking Software
(2019) ISBN: [978-3-030-30922-0], VIII, 251 pages, published
Files
No attached file found for this publication.
Details
- Authors
Given-Wilson, Thomas 
- Abstract
- This volume contains the proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Bejing, China, July 15-19, 2019. SPIN is a well-recognized periodic event started in 1995 around the model checking tool SPIN. Since 1995, the event has evolved and has been consolidated as a reference symposium in the area of formal methods related to model checking. The previous edition of the SPIN symposium took place in Santa Barbara (USA) with a record number of submissions and participants. The SPIN 2016 edition requested regular papers, short papers, and tool demos in the following areas: formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; static analysis and abstract interpretation; combination of verification techniques; modular and compositional verification techniques; verification of timed and probabilistic systems; automated testing using advanced analysis techniques; combination of static and dynamic analyses; derivation of specifications, test cases, or other useful material via formal analysis; case studies of interesting systems or with interesting results; engineering and implementation of software verification and analysis tools; benchmark and comparative studies for formal verification and analysis tools; formal methods education and training; and insightful surveys or historical accounts on topics of relevance to the symposium. The symposium attracted 29 submissions that were carefully reviewed by three Program Committee (PC) members. The selection process included further online discussion open to all PC members. As a result, 13 papers were selected for presentation at the symposium and publication in Springer’s proceedings. The program consisted of 11 regular papers and two demo-tool paper.The program also includes 1 invited talk. We would like to thank all the authors that submitted papers, the Steering Committee, the PC, the additional reviewers, the invited speakers, the participants, and the local organizers for making SPIN 2019 a successful event. We also thank all the sponsors that provided logistics and financial support to make the symposium possible.
- Affiliations
Citations
Fabrizio Biondi, Given-Wilson, T., & Legay, A. (2019). Model Checking Software. https://doi.org/10.1007/978-3-030-30923-7