Directed Model Checking, 26.04. - 29.04.2006 - researchr publication

researchr

You are not signed in
Sign in
Sign up

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

Conference: Dagstuhl2007

Abstract is missing.

06172 Abstracts Collection -- Directed Model CheckingStefan Edelkamp, Stefan Leue, Willem Visser. [doi]

Efficient Software Model Checking of Data Structure PropertiesChandrasekhar Boyapati, Paul T. Darga. [doi]

06172 Executive Summary -- Directed Model CheckingStefan Edelkamp, Stefan Leue, Willem Visser. [doi]

runs on WebDSL