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.