Dagstuhl Seminar Proceedings 06081

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

P. A. Abdulla, A. Bouajjani, M. Müller-Olm (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 06081, 19.02. - 24.02.2006
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Abdulla, Parosh Aziz
  • Bauer, Jörg
  • Beyer, Dirk
  • Bouajjani, Ahmed
  • Esparza, Javier
  • Henzinger, Thomas A.
  • Leroux, Jérôme
  • Müller-Olm, Markus
  • Schwoon, Stefan
  • Strejcek, Jan
  • Sutre, Grégoire
  • Théoduloz, Grégory
  • Wilhelm, Reinhard

  •   
    06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis
    Authors: Abdulla, Parosh Aziz ; Bouajjani, Ahmed ; Müller-Olm, Markus

    Abstract | Document (207 KB) | BibTeX

    06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis
    Authors: Abdulla, Parosh Aziz ; Bouajjani, Ahmed ; Müller-Olm, Markus

    Abstract | Document (93 KB) | BibTeX

    Analysis of Dynamic Communicating Systems by Hierarchical Abstraction
    Authors: Bauer, Jörg ; Wilhelm, Reinhard

    Abstract | Document (739 KB) | BibTeX

    Flat counter automata almost everywhere!
    Authors: Leroux, Jérôme ; Sutre, Grégoire

    Abstract | Document (201 KB) | BibTeX

    Lazy Shape Analysis
    Authors: Beyer, Dirk ; Henzinger, Thomas A. ; Théoduloz, Grégory

    Abstract | Document (366 KB) | BibTeX

    Reachability analysis of multithreaded software with asynchronous communication
    Authors: Bouajjani, Ahmed ; Esparza, Javier ; Schwoon, Stefan ; Strejcek, Jan

    Abstract | Document (243 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI