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.