License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.06172.2
URN: urn:nbn:de:0030-drops-9443
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/944/
Go to the corresponding Portal

Edelkamp, Stefan ; Leue, Stefan ; Visser, Willem

06172 Executive Summary -- Directed Model Checking

pdf-format:
06172.SWM.ExtAbstract.944.pdf (0.1 MB)

Abstract

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.

BibTeX - Entry

@InProceedings{edelkamp_et_al:DagSemProc.06172.2,
  author =	{Edelkamp, Stefan and Leue, Stefan and Visser, Willem},
  title =	{{06172 Executive Summary – Directed Model Checking}},
  booktitle =	{Directed Model Checking},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6172},
  editor =	{Stefan Edelkamp and Stefan Leue and Willem Visser},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2007/944},
  URN =		{urn:nbn:de:0030-drops-9443},
  doi =		{10.4230/DagSemProc.06172.2},
  annote =	{Keywords: Model checking, heuristics, state space search, software and hardware verification}
}

Keywords: Model checking, heuristics, state space search, software and hardware verification
Collection: 06172 - Directed Model Checking
Issue Date: 2007
Date of publication: 22.03.2007

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI