Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Beckert, Bernhard (Editor), Damiani, Ferruccio (Editor), Gurov, Dilian (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Series: Lecture Notes in Computer Science, 7421
• Subjects: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Management information systems.; Computer Science.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Management of Computing and Information Systems.

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. The 10 revised full papers presented together with 5 invit...

Table of Contents:

• 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-Based Verification
• 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.