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. We wish to sincerely thank all the authors who submitted their work for consideration. In addition to the contributed papers, the programme of FoVeOOS 2011 included four keynote talks: Alan Mycroft (Cambridge University), James J. Hunt (aicas incorporated), Anindya Banerjee (IMDEA Software) and Peter Wong (Fredhopper).
Formal Verification of Object-Oriented Software (Papers presented at the 2nd International Conference, October 5-7, 2011, Turin, Italy)
DAMIANI, Ferruccio;
2011-01-01
Abstract
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. We wish to sincerely thank all the authors who submitted their work for consideration. In addition to the contributed papers, the programme of FoVeOOS 2011 included four keynote talks: Alan Mycroft (Cambridge University), James J. Hunt (aicas incorporated), Anindya Banerjee (IMDEA Software) and Peter Wong (Fredhopper).
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
