Dagstuhl Seminar Proceedings, Volume 6172,

• Stefan Edelkamp, Stefan Leue, and Willem Visser 06172 Abstracts Collection – Directed Model Checking 10.4230/DagSemProc.06172.1
• Stefan Edelkamp, Stefan Leue, and Willem Visser 06172 Executive Summary – Directed Model Checking 10.4230/DagSemProc.06172.2
• Chandrasekhar Boyapati and Paul Darga Efficient Software Model Checking of Data Structure Properties 10.4230/DagSemProc.06172.3