By June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.)
This ebook provides the completely refereed post-conference court cases of the foreign convention on Formal Verification of Object-Oriented software program, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by means of fee motion IC0701.
The eleven revised complete papers offered including 2 invited talks have been conscientiously reviewed and chosen from 21 submissions. Formal software program verification has outgrown the world of educational case stories, and is displaying critical curiosity. The logical subsequent aim is the verification of commercial software program items. so much programming languages utilized in commercial perform are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2010 aimed to foster collaboration and interactions between researchers during this area.