Software Verification: Infinite-State Model Checking and Static Program Analysis

Keyphrases

Publications

2006

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

volume 6081, 2006

Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006 Software Verification: Infinite-State Model Checking and Static Program Analysis 6081 (2006)