Invited Talks |
SAT-Based Counterexample Guided Abstraction Refinement / Edmund M. Clarke |
Abstract Interpretation: Theory and Practice / Patrick Cousot |
Invited Tutorial |
SPIN Tutorial: How to Become a SPIN Doctor / Theo C. Ruys |
Tutorial |
Abstraction in Software Model Checking: Principles and Practice / Dennis Dams |
Software Model Checking |
Symmetry Reduction Criteria for Software Model Checking / Radu Iosif |
Bytecode Model Checking: An Experimental Analysis / David Basin ; Stefan Friedrich ; Marek Gawkowski ; Joachim Posegga |
The Influence of Software Module Systems on Modular Verification / Harry C. Li ; Kathi Fisler ; Shriram Krishnamurthi |
Extending the Translation from SDL to Promela / Armelle Prigent ; Franck Cassez ; Philippe Dhaussy ; Olivier Roux |
Algorithms and Theoretical Foundations |
Model Checking Knowledge and Time / Wiebe van der Hoek ; Michael Wooldridge |
Partial Order Reduction in Directed Model Checking / Alberto Lluch-Lafuente ; Stefan Edelkamp ; Stefan Leue |
Local Parallel Model Checking for the Alternation-Free µ-Calculus / Benedikt Bollig ; Martin Leucker ; Michael Weber |
Applications |
The Agreement Problem Protocol Verification Environment / J.S. Pascoe ; R.J. Loader ; V.S. Sunderam |
Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach / Hyun-Wook Jin ; Ki-Seok Bang ; Chuck Yoo ; Jin-Young Choi ; Ho-jung Cha |
Using SPIN to Verify Security Properties of Cryptographic Protocols / Paolo Maggi ; Riccardo Sisto |
Work in Progress |
Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN / Ramazan Savas Aygun ; Aidong Zhang |
SPINning Parallel Systems Software / Olga Shumsky Matlin ; Ewing Lusk ; William McCune |
Dynamic Bounds and Transition Merging for Local First Search / D. Lugiez ; P. Niebert ; S. Zennou |
Invited Industrial Presentations |
Comparing Symbolic and Explicit Model Checking of a Software System / Cindy Eisner ; Doron Peled |
Industrial Model Checking Based on Satisfiability Solvers / Per Bjesse |
A Typical Testing Problem: Validating WML Cellphones / Yves-Marie Quemener |
Model Checking Tools |
Heuristic Model Checking for Java Programs / Alex Groce ; Willem Visser |
System Specification and Verification Using High Level Concepts - A Tool Demonstration / Christian Stehno |
Demonstration of an Automated Integrated Test Environment for Web-Based Applications / Tiziana Margaria ; Oliver Niese ; Bernhard Steffen |
αSPIN: Extending SPIN with Abstraction / María del Mar Gallardo ; Jesús Martinez ; Pedro Merino ; Ernesto Pimentel |
Author Index |
Invited Talks |
SAT-Based Counterexample Guided Abstraction Refinement / Edmund M. Clarke |
Abstract Interpretation: Theory and Practice / Patrick Cousot |