Stefan Edelkamp Stefan Leue Willem Visser 06172 Executive Summary -- Directed Model Checking. 2006 Directed Model Checking http://drops.dagstuhl.de/opus/volltexte/2007/944 conf/dagstuhl/2006P6172 db/conf/dagstuhl/P6172.html#EdelkampLV06