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

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

doi:10.4230/DagSemProc.06081.1

Document

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

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

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 6081
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2006-11-10

PDF

File

PDF

DagSemProc.06081.1.pdf

Filesize: 207 kB
18 pages

Document Identifiers

DOI: 10.4230/DagSemProc.06081.1
URN: urn:nbn:de:0030-drops-7997

Subject Classification

Keywords

Software verification
infinite-state systems
static program analysis
automatic analysis

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get BibTex

Parosh Aziz Abdulla, Ahmed Bouajjani, and Markus Müller-Olm. 06081 Abstracts Collection – Software Verification: Infinite-State Model Checking and Static Program Analysis. In Software Verification: Infinite-State Model Checking and Static Program Analysis. Dagstuhl Seminar Proceedings, Volume 6081, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006) https://doi.org/10.4230/DagSemProc.06081.1

Author Details

Parosh Aziz Abdulla

Ahmed Bouajjani

Markus Müller-Olm

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail