Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.ics.ele.tue.nl/~dennis/5thSPIN99/
Organizers: Dennis Dams (Eindhoven University), Mieke Massink (CNR-Ist. CNUCE, Pisa), Gerard Holzmann (Bell Labs), Ed Brinksma (Univ. of Twente), Marco Daniele (ITC-IRST, Trento), Bengt Jonsson (Uppsala University)
Deadline for abstracts: April 01, 1999
Description:
The aim of the workshop is to bring together researchers and practitioners interested in the further development and
understanding of formal methods, and specifically in the theoretical background of the SPIN system.
We solicit papers that focus on theoretical aspects of SPIN and model checking in general. Topics include, and are not necessarily restricted to:
Theory (automata, algorithms, reduction methods, logic, real-time, abstraction, modularity, hierarchy, refinement, implementation, fairness, symmetry relation, storage methods, caching methods, etc. etc.) Short tutorials or surveys on a topical subject related to SPIN model checking Analyses of shortcomings, possible extensions, benefits of existing tools Empirical studies, measurements, tool comparisons, etc.
Tool demonstrations are welcome. Please tell us as early as possible if you plan to demonstrate a tool so that we can make sure we can set it up properly.
Speakers: John Rushby (SRI International, California)
Date received: February 07, 1999
© 2008 Atlas Conferences Inc.