Formal Verification of Object-Oriented Software:
Papers Presented at the International Conference

Bernhard Beckert and Claude Marche


This volume contains the invited papers, research papers, system
descriptions, case studies, and position papers presented at the
International Conference on Formal Verification of Object-Oriented
Software (FoVeOOS 2010), that was held June 28–30, 2010 in Paris,
France. Post-conference proceedings with revised versions of selected
papers will be published within Springer’s Lecture Notes in Computer
Science series after the conference.

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#. FoVeOOS 2010 aimed to foster collaboration and
interactions among researchers in this area.

FoVeOOS was organised 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 Programme Committee
selected 23 for presentation at the conference.