2011 | Action Number: IC0701
Formal Verification of Object-Oriented Software: Revised Selected Papers
- Pages: 197
- Author(s): Eds. B.Bekert and C. Marche
- Publisher(s): Springer
- Download from external website
- ISBN/ISSN: 978-3-642-18069-9
The International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010) was organised by COST Action IC0701 but it went beyond the framework of this action. The conference was open to the whole scientific community. FoVeOOS aimed to foster collaboration and interaction among researchers in this area. This volume contains a selection of research papers and system descriptions presented at FoVeOOS 2010. Authors of the 23 papers presented at the conference 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.