This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701.

Modular Verification of Object-Based Programs.- The COST IC0701 Verification Competition 2011.- The Practical Application of Formal Methods: Where Is the Benefit for Industry?.- Isolation Types and Multi-core Architectures.- Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study.-Modeling and Analyzing the Interaction of C and C++ Strings.- Integration of Bounded Model Checking and Deductive Verification.- A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems.- Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode.- An Abstract JVM.- A Verified Implementation of Priority Monitors in Java.- Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-BasedVerification.- A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios.- A K-Based Formal Framework for Domain-Specific Modelling Languages.- Verification of Information Flow Properties of Java Programs without Approximations.