Abdulla, Parosh Aziz ;
Bouajjani, Ahmed ;
Müller-Olm, Markus
06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis
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:DagSemProc.06081.1,
author = {Abdulla, Parosh Aziz and Bouajjani, Ahmed and M\"{u}ller-Olm, Markus},
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},
pages = {1--18},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6081},
editor = {Parosh Aziz Abdulla and Ahmed Bouajjani and Markus M\"{u}ller-Olm},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2006/799},
URN = {urn:nbn:de:0030-drops-7997},
doi = {10.4230/DagSemProc.06081.1},
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 |
10.11.2006
