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