Abstract is missing.
- Symmetric SpinDragan Bosnacki, Dennis Dams, Leszek Holenderski. 1-19
- Using Garbage Collection in Model CheckingRadu Iosif, Riccardo Sisto. 20-33
- Model Checking Based on Simultaneous Reachability AnalysisBengi Karaçali, Kuo-Chung Tai. 34-53
- Testing SPIN s LTL Formula Conversion into Büchi Automata with Randomly Generated InputHeikki Tauriainen, Keijo Heljanko. 54-72
- Verification and Optimization of a PLC Control ScheduleEd Brinksma, Angelika Mader. 73-92
- Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case StudyNicholas Weininger, Darren D. Cofer. 93-112
- Bebop: A Symbolic Model Checker for Boolean ProgramsThomas Ball, Sriram K. Rajamani. 113-130
- Logic Verification of ANSI-C Code with SPINGerard J. Holzmann. 131-147
- Interaction Abstraction for Compositional Finite State SystemsWayne Liu. 148-162
- Correctness by Construction: Towards Verification in Hierarchical System DevelopmentMila E. Majster-Cederbaum, Frank Salger. 163-180
- Linking ::::ST::e::P:::: with SPINAnca Browne, Henny Sipma, Ting Zhang. 181-186
- Abstraction of Communication Channels in Promela: A Case StudyElena Fersman, Bengt Jonsson. 187-204
- A Language Framework for Expressing Checkable Properties of Dynamic SoftwareJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby. 205-223
- Model-Checking Multi-threaded Distributed Java ProgramsScott D. Stoller. 224-244
- Using Runtime Analysis to Guide Model Checking of Java ProgramsKlaus Havelund. 245-264
- Communication Topology Analysis for Concurrent ProgramsMatthieu Martel, Marc Gengler. 265-286
- Low-Fat Recipes for SPINTheo C. Ruys. 287-321
- Tutorial on FDR and Its ApplicationsPhilippa J. Broadfoot, A. W. Roscoe. 322
- The Temporal Rover and the ATG RoverDoron Drusinsky. 323-330
- Runtime Checking of Multithreaded Applications with Visual ThreadsJerry J. Harrow. 331-342