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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Beckert, Bernhard (Επιμελητής έκδοσης), Damiani, Ferruccio (Επιμελητής έκδοσης), Gurov, Dilian (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Σειρά: Lecture Notes in Computer Science, 7421
• Θέματα: 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...

Πίνακας περιεχομένων:

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