Formal Verification of Object-Oriented SoftwareInternational Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g., Java, C++, or C. The International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2011) aimed to foster collaboration and interactions among researchers in this area. It was held October 5–7, 2011, in Turin, Italy. FoVeOOS was organized by COST Action IC0701 (www.cost-ic0701.org), but it went beyond the framework of this action. The conference was open to the whole scientific community. All submitted papers were peer-reviewed, and of the 28 submissions, the Program Committee selected 19 for presentation at the conference. In addition to the contributed papers, the program of FoVeOOS 2011 included four excellent keynote talks. We are grateful to Alan Mycroft (Cambridge University), James J. Hunt (aicas incorporated), Anindya Banerjee (IMDEA Software) and Peter Wong (Fredhopper) for accepting the invitation to address the conference. This volume contains a selection of research papers and system descriptions presented at FoVeOOS 2011. The authors of all 19 papers presented at the conference were invited to submit improved versions, to be reviewed a second time. Of the 17 revised papers that were submitted, the Program Committee selected 10 for publication in this volume. Additionally, one of the invited speakers provided a one-page abstract, and the other three provided papers, which were all reviewed by the Program Committee. This volume also includes an invited paper reporting on the experiences with the program verification competition held during FoVeOOS 2011. This paper was also reviewed by the Program Committee.