Formal Verification of Object-Oriented Software, 2012 International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers Programming and Software Engineering Series
Coordonnateurs : Beckert Bernhard, Damiani Ferruccio, Gurov Dilian
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.
Up-to-date results
Fast track conference proceedings
State-of-the-art report
Date de parution : 07-2012
Ouvrage de 251 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 48,53 €
Ajouter au panierThème de Formal Verification of Object-Oriented Software :
Mots-clés :
distributed systems; formal methods; model checking; modeling languages; programs