SPIN 2004
11th International SPIN Workshop on Model Checking of
Software
April 1-3, 2004, Barcelona, Spain
Paper Submission
SPIN 2004 solicits
previously unpublished, currently unsubmitted, original contributions addressing
theoretical, experimental and applied problems in model checking of software
artifacts. Particular topics include:
- model checking based
tools, tool extensions and comparative studies
- theoretical and
algorithmic foundations of model checking based analysis
- combination of
model-checking techniques with other analysis techniques
- model checking
of programming languages and code analysis
- techniques for
analyzing and testing large and infinite state systems
- model checking
in the system life-cycle
- innovative applications
of model checking, including
- model checking of
object-oriented and component based systems
- model checking of
security systems
- model checking of
real-time systems
- engineering of
model checking tools and platforms
- convincing case
study which apply model-checking to real software systems
Submitted papers may
not necessarily focus on tools and model checking approaches based on explicit
state space representations as they are used in SPIN and other tools. Nevertheless,
unless obvious from the paper, it is expected that authors show the relationship
of their work to explicit-state model checking, possibly by showing how the
results could be applied to the SPIN tool or one of the other relevant explicit
state space validation tools.
We solicit submissions
of three categories:
Full papers:
submissions are limited to 18 pages, and should adhere to Springer Verlag's
LNCS format,
preferably using LaTeX. The format of the submissions should be either pdf
or postscript.
Tool presentations:
SPIN 2004 solicits proposals for the demonstration of tools pertinent to the
technical objective of this workshop. Proposals should be submitted as a
summary of up to 5 pages (using Springer Verlag's LNCS format)
which will be included in the workshop proceedings. The title of the summary
should clearly indicate that this is a tool demonstration summary. Longer
tool-related contributions should be submitted as technical papers.
Tutorials: SPIN
2004 solicits proposals for introductory, advanced and industrial application
tutorials on all topics pertinent to the technical objective of this workshop.
Tutorial proposals should detail intended contents, audience and presentation
length. A one-page abstract of accepted tutorials will be included in the
workshop proceedings.
To submit, follow the instructions given at
the following URL: http://sttt.cs.uni-dortmund.de:80/spin04/servlet/Conference
Important Dates
Submission deadline:
December, 6, 2003,
Notification of acceptance: January 18, 2004
Final versions due: February 1, 2004
Workshop date: April 1-3, 2004