Dagstuhl Seminar Proceedings, Volume 6081,

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