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

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Beckert, Bernhard (Editor ), Damiani, Ferruccio (Editor ), Gurov, Dilian (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Programming and Software Engineering, 7421
Temas:
Software engineering.
Computer programming.
Compilers (Computer programs).
Computer science.
Electronic data processing-Management.
Software Engineering.
Programming Techniques.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares