2026-07-22T15:45:07Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:944 2024-03-06T11:06:52Z ddc:004 open_access

06172 Executive Summary – Directed Model Checking Edelkamp, Stefan Leue, Stefan Visser, Willem Model checking heuristics state space search software and hardware verification This is a summary of the Dagstuhl Seminar 06172 {em Directed Model Checking} that was held 26 - 29 April 2006 at Schloss Dagstuhl, Germany. Directed Model Checking is a software and hardware verification technique that performs a systematic, heuristics guided search of the state space of the model to be analyzed. It hence reconciles classical model checking technology with intelligent, heuristics driven search that has a long tradition in artificial intelligence, in particular in the area of action planning. The benefits are short or even optimally short error trails, in some instances a more efficient exploration of the state space, and the applicability of state space search in some application areas in which unintelligent search would not yield useful results. The seminar brought together researchers from the system verification and the artificial intelligence domain in order to discuss the current state of the art, and to elicit and discuss research challenges and future directions. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Stefan Edelkamp and Stefan Leue and Willem Visser 2007 Is Part Of Dagstuhl Seminar Proceedings, Volume 6172, Directed Model Checking (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.06172.2 urn:nbn:de:0030-drops-9443 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06172.2 eng https://creativecommons.org/licenses/by/4.0/legalcode