Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings PDF
Preview Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
ˇ Dragan Bošnacki Anton Wijs (Eds.) 1 Model Checking 4 6 9 S Software C N L 23rd International Symposium, SPIN 2016 Co-located with ETAPS 2016 Eindhoven, The Netherlands, April 7–8, 2016, Proceedings 123 Lecture Notes in Computer Science 9641 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, Lancaster, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Zürich, Switzerland John C. Mitchell Stanford University, Stanford, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Dortmund, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbrücken, Germany More information about this series at http://www.springer.com/series/7407 š č Dragan Bo na ki Anton Wijs (Eds.) (cid:129) Model Checking Software 23rd International Symposium, SPIN 2016 Co-located with ETAPS 2016 – Eindhoven, The Netherlands, April 7 8, 2016 Proceedings 123 Editors Dragan Bošnački AntonWijs Eindhoven University of Technology Eindhoven University of Technology Eindhoven Eindhoven TheNetherlands TheNetherlands ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-319-32581-1 ISBN978-3-319-32582-8 (eBook) DOI 10.1007/978-3-319-32582-8 LibraryofCongressControlNumber:2016935582 LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues ©SpringerInternationalPublishingSwitzerland2016 OpenAccessChapter7isdistributedunderthetermsoftheCreativeCommonsAttribution4.0International License (http://creativecommons.org/licenses/by/4.0/). For further details see license information in the chapter. Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade. Printedonacid-freepaper ThisSpringerimprintispublishedbySpringerNature TheregisteredcompanyisSpringerInternationalPublishingAGSwitzerland Preface During the last two decades the SPIN symposiums have established themselves as traditional annual forums for researchers and practitioners for the verification of soft- ware systems. The evolution of the SPIN events has to a great extent mirrored the maturingofmodelcheckingintoaprevailingtechnologyfortheformalverificationof software systems. The first SPIN workshop was held in Montreal in 1995. The next couple of subsequent editions of SPIN were intended as gatherings for presenting extensions and applications of the model checker SPIN, to which the series owes its name. Starting with the 2000 edition, the scope of the event clearly broadened to include techniques for formal verification and testing in general. In addition the SPIN events aim to promote interaction and exchange of ideas across related software engineering areas, like static and dynamic analysis. To this end, since 1996 SPIN has frequently been collocated with other, related conferences. Finally, since 1999, the proceedings of the SPIN workshops have appeared in Springer’s Lecture Notes in Computer Science series. This volume contains the papers presented at SPIN 2016: the 23rd Interna- tional SPIN Symposium on Model Checking of Software, held on April 7–8, 2016 in Eindhoven, collocated with the 19th European Joint Conferences on Theory and Practice of Software (ETAPS 2016). SPIN 2016 received 27 submissions of which 1 was withdrawn in the early phase of the reviewing process. Each submission was reviewed by at least 3 Program Committee members. The Program Committee decided to accept 16 papers, of which 11 regular papers, 1 idea paper, and 4 tool demonstrations. Program Committee members with a possible conflict of interest were excluded for the processing of the corresponding submissions. For each submission, a decision was made by consensus of the reviewers involved and the PC in general. This applied in particular to the borderline papers. Three papers were accepted after an additional shepherding proce- duretoensurethattheauthorshadcarefullytakenthesuggestionsofthereviewersinto account.Besidestheacceptedpapers,theprogramalsoincludedthreeinvitedtalksby, respectively,ShazQadeer(MicrosoftResearch),TimWillemse(EindhovenUniversity of Technology), and Pierre Wolper (University of Liège). We are very grateful to the members of the Program Committee and the subre- viewers who often worked under severe time pressure, as well as to the authors for producingcamerareadycopiesofthepapersinarelativelyshorttime.Also,wewould like to thank our invited speakers for their valuable contribution to the program. For their support, we thank the members of the SPIN Steering Committee, in particular Gerard HolzmannandStefanLeue.ThelatterkindlyacceptedtoactasatechnicalPC chairfortwopapers,forwhichthePCchairsthemselveshadaconflictofinterest.We are indebted to the organizers of the previous edition of the symposium, SPIN 2015, Bernd Fischer and Jaco Geldenhuys. The experience they handed over to us and the suggestionsandadvicewasoftremendoushelpfortheorganization.Finally,wewould VI Preface like to thank our colleagues from the Eindhoven University of Technology, Erik de Vink, Hans Zantema, Margje Mommers-Lenders, Mark van den Brand, and Jan Friso Groote for their suggestions and assistance with the local organization. TheSPIN2016logowasdesignedbyIlseBiermans.Thesymposiumwaspartially supported by the Netherlands Organization for Scientific Research (NWO) and the company Sioux. The submission, reviewing, and discussion processes, as well as the productionoftheproceedings,weredoneusingtheEasyChairconferencemanagement system. March 2016 Dragan Bošnački Anton Wijs Organization Steering Committee Dragan Bošnački EindhovenUniversityofTechnology,TheNetherlands Susanne Graf CNRS/VERIMAG, France Gerard Holzmann (Chair) NASA/JPL, USA Stefan Leue University of Constance, Germany Program Committee Jiří Barnat Masaryk University, Czech Republic Dragan Bošnački EindhovenUniversityofTechnology,TheNetherlands Aleksandar Dimovski IT University of Copenhagen, Denmark Stefan Edelkamp University of Bremen, Germany Bernd Fischer Stellenbosch University, South Africa Jaco Geldenhuys Stellenbosch University, South Africa Alex Groce Oregon State University, USA Jan Friso Groote EindhovenUniversityofTechnology,TheNetherlands Gerard Holzmann NASA/JPL, USA Franjo Ivančić Google, USA Alfons Laarman Technical University of Vienna, Austria Stefan Leue University of Constance, Germany Alberto Lluch Lafuente Technical University of Denmark, Denmark Radu Mateescu INRIA Rhône-Alpes, France Eric Mercer Brigham Young University, USA Pedro Merino University of Málaga, Spain Alice Miller University of Glasgow, UK Jun Pang University of Luxembourg, Luxembourg Corina Pasareanu CMU/NASA Ames Research Center, USA Theo Ruys RUwise, The Netherlands Jun Sun Singapore University of Technology and Design, Singapore Michael Tautschnig Queen Mary University of London, UK Mohammad Torabi Dashti ETH Zürich, Switzerland Antti Valmari Tampere University of Technology, Finland Martin Wehrle University of Basel, Switzerland Anton Wijs EindhovenUniversityofTechnology,TheNetherlands Erika Ábrahám RWTH Aachen University, Germany VIII Organization Additional Reviewers Bey, Alina Garavel, Hubert Caltais, Georgiana Heidinger, Stephan Cerna, Ivana Serwe, Wendelin Invited Papers
Description:The list of books you might like
