License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-7997
URL: http://drops.dagstuhl.de/opus/volltexte/2006/799/
Go to the corresponding Portal


Abdulla, Parosh Aziz ; Bouajjani, Ahmed ; Müller-Olm, Markus

06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis

pdf-format:
Document 1.pdf (207 KB)


Abstract

From 19.02.06 to 24.02.06, the Dagstuhl Seminar 06081 ``Software Verification: Infinite-State Model Checking and Static Program Analysis'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

BibTeX - Entry

@InProceedings{abdulla_et_al:DSP:2006:799,
  author =	{Parosh Aziz Abdulla and Ahmed Bouajjani and Markus M{\"u}ller-Olm},
  title =	{06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis},
  booktitle =	{Software Verification: Infinite-State Model Checking and Static Program Analysis},
  year =	{2006},
  editor =	{Parosh Aziz Abdulla and Ahmed Bouajjani and Markus M{\"u}ller-Olm },
  number =	{06081},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/799},
  annote =	{Keywords: Software verification, infinite-state systems, static program analysis, automatic analysis}
}

Keywords: Software verification, infinite-state systems, static program analysis, automatic analysis
Seminar: 06081 - Software Verification: Infinite-State Model Checking and Static Program Analysis
Issue Date: 2006
Date of publication: 10.11.2006


DROPS-Home | Fulltext Search | Imprint Published by LZI