Formal Verification of Object-Oriented Software Bernhard Beckert and Claude Marché (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 Confer- ence on Formal Verification of Object-Oriented Software (FoVeOOS 2010) aimed to foster collaboration and interaction among researchers in this area. It was held during June 28–30, 2010 in Paris, France. 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 35 submissions, the Program Committee selected 23 for presentation at the con- ference. In addition to the contributed papers, the program of FoVeOOS 2010 in- cluded three excellent keynote talks. We are grateful to June Andronick (NICTA, Sydney, Australia), Kim G. Larsen (Aalborg University, Denmark), Francesco Logozzo (Microsoft Research, Redmond, USA) for accepting the invitation to address the conference. This volume contains a selection of research papers and system descriptions presented at FoVeOOS 2010. Authors of the 23 papers presented at the confer- ence were invited to submit improved versions, to be reviewed a second time. Twenty-one submissions were received, and the Program Committee selected 11 of them. Additionally, two of the invited speakers provided papers, which were reviewed by the Program Committee and included in this volume.