dblp.uni-trier.de www.uni-trier.de

12. SPIN 2005: San Francisco, CA, USA

Patrice Godefroid (Ed.): Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings. Lecture Notes in Computer Science 3639 Springer 2005, ISBN 3-540-28195-9 BibTeX

Invited Talks/Papers

Invited Tutorials

State Representation and Abstraction

Dealing with Concurrency

Dealing with Complex Data

Checking Temporal Properties

Checking Security and Real-Time Properties

Tool Papers

Copyright © Sat May 16 23:42:13 2009 by Michael Ley (ley@uni-trier.de)