
SPIN Workshop 2001

The 8th SPIN Workshop on Model Checking reflects the growing diversity in model checking research with contributions on tool development, performance assessment and novel applications. You are bound to find something interesting in the workshop's program which you can find in your ICSE bag or online at: 
http://www.cis.ksu.edu/santos/spin2001.
Co-located with ICSE this year, the workshop emphasizes the connections between model checking and program analysis. ICSE attendees may find the contributions describing tools for model checking Java programs, C programs and software component architectures of particular interest.
To balance the academic perspective at the workshop, representatives from Intel, Honeywell, Phillips, and Lucent, will discuss their experiences in applying model checking. Their contributions to a panel discussion of the prospects for and impediments to practical model checking promises to be lively and to expose some of the realities of the state of the art in model checking complex systems.
 Matthew Dyer