Dagstuhl Seminar Proceedings: Software Verification: Infinite-State Model Checking and Static Program Analysis 2006

Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm (Eds.): Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006. Dagstuhl Seminar Proceedings 06081 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 BibTeX

Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz:
Lazy Shape Analysis.
Electronic Edition (link) BibTeX
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek:
Reachability analysis of multithreaded software with asynchronous communication.
Electronic Edition (link) BibTeX
Jörg Bauer, Reinhard Wilhelm:
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction.
Electronic Edition (link) BibTeX
Jérôme Leroux, Grégoire Sutre:
Flat counter automata almost everywhere!.
Electronic Edition (link) BibTeX
Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm:
06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis.
Electronic Edition (link) BibTeX
Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm:
06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis.
Electronic Edition (link) BibTeX