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
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
|
Imprint
|
Privacy
