Dagstuhl Seminar Proceedings: Directed Model Checking 2006

Stefan Edelkamp, Stefan Leue, Willem Visser (Eds.): Directed Model Checking, 26.04. - 29.04.2006. Dagstuhl Seminar Proceedings 06172 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007

Chandrasekhar Boyapati, Paul T. Darga:
Efficient Software Model Checking of Data Structure Properties.
Stefan Edelkamp, Stefan Leue, Willem Visser:
06172 Executive Summary -- Directed Model Checking.
Stefan Edelkamp, Stefan Leue, Willem Visser:
06172 Abstracts Collection -- Directed Model Checking.