7. SPIN 2000: Stanford, CA, USA

Klaus Havelund, John Penix, Willem Visser (Eds.): SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings. Lecture Notes in Computer Science 1885 Springer 2000, ISBN 3-540-41030-9

@proceedings{DBLP:conf/spin/2000,
  editor    = {Klaus Havelund and
               John Penix and
               Willem Visser},
  title     = {SPIN Model Checking and Software Verification, 7th International
               SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000,
               Proceedings},
  booktitle = {SPIN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1885},
  year      = {2000},
  isbn      = {3-540-41030-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Papers

Dragan Bosnacki, Dennis Dams, Leszek Holenderski: Symmetric Spin. 1-19
Radu Iosif, Riccardo Sisto: Using Garbage Collection in Model Checking. 20-33
Bengi Karaçali, Kuo-Chung Tai: Model Checking Based on Simultaneous Reachability Analysis. 34-53
Heikki Tauriainen, Keijo Heljanko: Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input. 54-72
Ed Brinksma, Angelika Mader: Verification and Optimization of a PLC Control Schedule. 73-92
Nicholas Weininger, Darren D. Cofer: Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. 93-112
Thomas Ball, Sriram K. Rajamani: Bebop: A Symbolic Model Checker for Boolean Programs. 113-130
Gerard J. Holzmann: Logic Verification of ANSI-C Code with SPIN. 131-147
Wayne Liu: Interaction Abstraction for Compositional Finite State Systems. 148-162
Mila E. Majster-Cederbaum, Frank Salger: Correctness by Construction: Towards Verification in Hierarchical System Development. 163-180
Anca Browne, Henny Sipma, Ting Zhang: Linking ST_eP with SPIN. 181-186
Elena Fersman, Bengt Jonsson: Abstraction of Communication Channels in Promela: A Case Study. 187-204
James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: A Language Framework for Expressing Checkable Properties of Dynamic Software. 205-223
Scott D. Stoller: Model-Checking Multi-threaded Distributed Java Programs. 224-244
Klaus Havelund: Using Runtime Analysis to Guide Model Checking of Java Programs. 245-264
Matthieu Martel, Marc Gengler: Communication Topology Analysis for Concurrent Programs. 265-286
Theo C. Ruys: Low-Fat Recipes for SPIN. 287-321

Tool Tutorials

Philippa J. Broadfoot, A. W. Roscoe: Tutorial on FDR and Its Applications. 322
Doron Drusinsky: The Temporal Rover and the ATG Rover. 323-330
Jerry J. Harrow: Runtime Checking of Multithreaded Applications with Visual Threads. 331-342