11. SPIN 2004: Barcelona, Spain

Susanne Graf, Laurent Mounier (Eds.): Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings. Lecture Notes in Computer Science 2989 Springer 2004, ISBN 3-540-21314-7

Invited Paper

Radek Pelánek:
Typical Structural Properties of State Spaces. 5-22
Jaco Geldenhuys:
State Caching Reconsidered. 23-38
Peter Leven, Tilman Mehler, Stefan Edelkamp:
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. 39-56
Peter C. Dillinger, Panagiotis Manolios:
Fast and Accurate Bitstate Verification for SPIN. 57-75

Gerard J. Holzmann, Rajeev Joshi:
Model-Driven Software Verification. 76-91
Paul Gastin, Pierre Moro, Marc Zeitoun:
Minimization of Counterexamples in SPIN. 92-108

Moez Krichen, Stavros Tripakis:
Black-Box Conformance Testing for Real-Time Systems. 109-126
Iulian Ober, Susanne Graf, Ileana Ober:
Validation of UML Models via a Mapping to Communicating Extended Timed Automata. 127-145

Michael D. Jones, Eric Mercer:
Explicit State Model Checking with Hopper. 146-150
Hubert Garavel, Radu Mateescu:
SEQ.OPEN: A Tool for Efficient Trace-Based Verification. 151-157
Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu:
Model Checking Genetic Regulatory Networks Using GNA and CADP. 158-163

Corina S. Pasareanu, Willem Visser:
Verification of Java Programs Using Symbolic Execution and Invariant Generation. 164-181
Alain Finkel, Jérôme Leroux:
Polynomial Time Image Computation with Interval-Definable Counters Systems. 182-197
Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova:
Using Fairness to Make Abstractions Work. 198-215
Stefan Leue, Richard Mayr, Wei Wei:
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. 216-233

Jessica Chen, Hanmei Cui:
Translation from Adapted UML to Promela for CORBA-Based Applications. 234-251
Cormac Flanagan:
Verifying Commit-Atomicity Using Model-Checking. 252-266
Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer:
Analysis of Distributed Spin Applied to Industrial-Scale Models. 267-285
Stephen F. Siegel, George S. Avrunin:
Verification of MPI-Based Software for Scientific Computation. 286-303

Theo C. Ruys, Gerard J. Holzmann:
Advanced SPIN Tutorial. 304-305
Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober:
IF Validation Environment Tutorial. 306-307

Last update Tue May 21 18:05:22 2013 CET by the DBLP Team —

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