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