HTML Export for Dagstuhl Seminar Proceedings, Volume 6081

Copy to Clipboard Download

<h2>Dagstuhl Seminar Proceedings, Volume 6081, </h2>
<ul>
<li>
    <span class="authors">Parosh Aziz Abdulla, Ahmed Bouajjani, and Markus Müller-Olm</span>
    <span class="title">06081 Abstracts Collection – Software Verification: Infinite-State Model Checking and Static Program Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06081.1">10.4230/DagSemProc.06081.1</a>
</li>
<li>
    <span class="authors">Parosh Aziz Abdulla, Ahmed Bouajjani, and Markus Müller-Olm</span>
    <span class="title">06081 Executive Summary – Software Verification: Infinite-State Model Checking and Static Program Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06081.2">10.4230/DagSemProc.06081.2</a>
</li>
<li>
    <span class="authors">Jörg Bauer and Reinhard Wilhelm</span>
    <span class="title">Analysis of Dynamic Communicating Systems by Hierarchical Abstraction</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06081.3">10.4230/DagSemProc.06081.3</a>
</li>
<li>
    <span class="authors">Jérôme Leroux and Grégoire Sutre</span>
    <span class="title">Flat counter automata almost everywhere!</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06081.4">10.4230/DagSemProc.06081.4</a>
</li>
<li>
    <span class="authors">Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz</span>
    <span class="title">Lazy Shape Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06081.5">10.4230/DagSemProc.06081.5</a>
</li>
<li>
    <span class="authors">Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, and Jan Strejcek</span>
    <span class="title">Reachability analysis of multithreaded software with asynchronous communication</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06081.6">10.4230/DagSemProc.06081.6</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode