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

Bernhard Beckert, Ferruccio Damiani and Dilian Gurov

This volume contains the invited papers, research papers, case studies, and
position papers presented at the International Conference on Formal
Verification of Object-Oriented Software (FoVeOOS 2011), that was held October 5-7, 2011
in Torino, Italy. 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 2011 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 28 submissions, the Programme Committee selected 19 for presentation
at the conference.