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

13. SPIN 2006: Vienna, Austria

Antti Valmari (Ed.): Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings. Lecture Notes in Computer Science 3925 Springer 2006, ISBN 3-540-33102-6 BibTeX

Directed Model Checking

Markovian Systems

Distributed Model Checking

Advanced Handling of Data Aspects

Applications

Assume-Guarantee

Partial Order Reduction

Tool Demonstrations

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