Formal Verification of Object-Oriented Software Bernhard Beckert, Ferruccio Damiani, and Dilian Gurov (eds.) 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. We wish to sincerely thank all the authors who submitted their work for consideration. We also thank the Program Committee members as well as the additional referees for their great effort and professional work in the review and selection process. Their names are listed on the following pages. It was a team effort that made the conference so successful. We particularly thank Sara Capecchi, Sarah Grebing, Vladimir Klebanov and Luca Padovani for their hard work and help in making the conference a success. In addition, we gratefully acknowledge the generous support of COST Action IC0701, the Karlsruhe Institute of Technology, the Museo Regionale di Scienze Naturali (MRSN) of Turin, and the University of Turin.