9. SPIN 2002: Grenoble, France

Dragan Bosnacki, Stefan Leue (Eds.): Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings. Lecture Notes in Computer Science 2318 Springer 2002, ISBN 3-540-43477-1

Invited Talks

Dennis Dams:
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography). 14-21

Radu Iosif:
Symmetry Reduction Criteria for Software Model Checking. 22-41
David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga:
Bytecode Model Checking: An Experimental Analysis. 42-59
Harry C. Li, Kathi Fisler, Shriram Krishnamurthi:
The Influence of Software Module Systems on Modular Verification. 60-78
Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux:
Extending the Translation from SDL to Promela. 79-94

Wiebe van der Hoek, Michael Wooldridge:
Model Checking Knowledge and Time. 95-111
Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue:
Partial Order Reduction in Directed Model Checking. 112-127
Benedikt Bollig, Martin Leucker, Michael Weber:
Local Parallel Model Checking for the Alternation-Free µ-Calculus. 128-147

James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam:
The Agreement Problem Protocol Verification Environment. 148-169
Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha:
Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach. 170-186
Paolo Maggi, Riccardo Sisto:
Using SPIN to Verify Security Properties of Cryptographic Protocols. 187-204

Ramazan Savas Aygün, Aidong Zhang:
Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN. 205-212
Olga Shumsky Matlin, Ewing L. Lusk, William McCune:
SPINning Parallel Systems Software. 213-220
Denis Lugiez, Peter Niebert, Sarah Zennou:
Dynamic Bounds and Transition Merging for Local First Search. 221-229

Cindy Eisner, Doron Peled:
Comparing Symbolic and Explicit Model Checking of a Software System. 230-239
Per Bjesse:
Industrial Model Checking Based on Satisfiability Solvers. 240
Yves-Marie Quemener:
A Typical Testing Problem: Validating WML Cellphones. 241

Alex Groce, Willem Visser:
Heuristic Model Checking for Java Programs. 242-245
Christian Stehno:
System Specification and Verification Using High Level Concepts - A Tool Demonstration. 246-249
Tiziana Margaria, Oliver Niese, Bernhard Steffen:
Demonstration of an Automated Integrated Test Environment for Web-Based Applications. 250-253
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
alpha SPIN: Extending SPIN with Abstraction. 254-258

Last update Thu May 23 18:01:16 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page