Model Checking Software 10th International SPIN Workshop Portland, O
This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised
- PDF / 3,137,535 Bytes
- 252 Pages / 451 x 677.048 pts Page_size
- 90 Downloads / 160 Views
2648
3
Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo
Thomas Ball Sriram K. Rajamani (Eds.)
Model Checking Software 10th International SPIN Workshop Portland, OR, USA, May 9-10, 2003 Proceedings
13
Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Thomas Ball Sriram K. Rajamani Microsoft Research One Microsoft Way, Redmond, WA 98052, USA E-mail: {tball, sriram}@microsoft.com
Cataloging-in-Publication Data applied for A catalog record for this book is available from the Library of Congress Bibliographic information published by Die Deutsche Bibliothek Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliographie; detailed bibliographic data is available in the Internet at .
CR Subject Classification (1998): F.3, D.2.4, D.3.1, D.2 ISSN 0302-9743 ISBN 3-540-40117-2 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2003 Printed in Germany Typesetting: Camera-ready by author, data conversion by DA-TeX Gerd Blumenstein Printed on acid-free paper SPIN: 10929896 06/3142 543210
Preface
This volume contains the proceedings of SPIN 2003, the 10th International SPIN Workshop on Model Checking of Software. The workshop was held during May 9–10, 2003, in Portland, Oregon. The program committee of the workshop had the following members: Thomas Ball (Microsoft Research) Matthew Dwyer (Kansas State University) Javier Esparza (University of Stuttgart) Kousha Etessami (University of Edinburgh) Patrice Godefroid (Bell Laboratories) Susanne Graf (VERIMAG) Somesh Jha (University of Wisconsin) Peter O’Hearn (University of London) Andreas Podelski (Max Planck Institute) Sriram K. Rajamani (Microsoft Research) Mooly Sagiv (Tel Aviv University) Scott Stoller (State University of New York at Stony Brook) The advisory committee for the SPIN workshops consisted of Gerard Holzmann (Chair) and Amir Pnueli. The steering committee for the SPIN workshops consisted of Matthew Dwyer, Stefan Leue, Moshe Vardi (Chair) and Pierre Wolper. There is a renewed interest in building tools to improve the reliability of software by detecting errors early in the software development process. The SPIN model checker has played a leading role in thi
Data Loading...
