Proceedings of the 13th SPIN Workshop on Model Checking Software
Vienna, Austria
Co-located with ETAPS 2006
March 30 - April 1, 2006


Published in:
	Lecture Notes in Computer Science,
	Volume LNCS 3925, Springer Verlag, March 2006

Invited Presentation:

Technical Program:

Session 1 -- Tools and Tutorials

Session 2 -- Directed Model Checking

Session 3 -- Markovian Systems

Session 4 -- Distributed Model Checking

Session 5 -- Advanced Handling of Data Aspects

Session 6 -- Applications

Session 7 -- Assume-Guarantee

Session 8 -- Partial Order Reduction


Return to Spin Homepage
(Page updated: 14 April 2006)