Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.fee.uwaterloo.ca/~sleue/6thSPIN99.html
Organizers: Rob Gerth (Intel), Gerard Holzmann (Bell Labs), Stefan Leue (University of Waterloo, main organizer)
Deadline for abstracts: May 10, 1999
Description:
Automata-based model checking techniques are enjoying increasing interest in hardware and software verification and validation, both in industry and academia.
While the 5th SPIN workshop focusses on theoretical foundations, this 6th SPIN workshop is aiming at bringing together practitioners and researchers to discuss
the practical aspects of using automata-based model checking in the system engineering process.
Solicited Contributions
Papers describing original work (that is not submitted or accepted for publication elsewhere). Topics of interest include, but are not limited to, the following: Significant or unusual practical applications of model checking. Methodology of model checking in system validation/verification. Property elicitation techniques for model checking. Analyses and comparative studies of model checking tools. Extensions of model checking languages and tools. Relationship of model checking and other formal methods. Corporate impact and benefits of model checking techniques. Tutorials or Short Courses related to automata-based model checking. Tool Demonstrations.
Date received: February 07, 1999
© 2008 Atlas Conferences Inc.