Proceedings of the 12th SPIN Workshop on Model Checking Software
San Francisco, USA
Co-located with CONCUR 2005
August 22 - 24, 2005


Published in:
	Lecture Notes in Computer Science,
	Volume LNCS 3639, Springer Verlag, August 2005

Invited Speakers:

Technical Program:

Session 1 -- State Representation and Abstraction

Session 2 -- Dealing with Concurrency

Tutorial 1

Session 3 -- Dealing with Complex Data

Session 4 -- Tool Presentations

Tutorial 2

Session 5 -- Checking Temporal Properties

Session 6 -- Checking Security and Real-Time Properties

Tutorial 3


Return to Spin Homepage
(Page updated: 20 August 2005)