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

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