Skip to main content
SpringerLink
Log in
Book cover

Formal Verification of Object-Oriented Software

International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Bernhard Beckert

    1. Institute for Theoretical Informatics, Karlsruhe Institute of Technology, Karlsruhe, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ferruccio Damiani

    1. Dipartimento di Informatica, Università di Torino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Dilian Gurov

    1. Royal Institute of Technology, Stockholm, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast track conference proceedings
  • State-of-the-art report

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7421)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FoVeOOS 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Modular Verification of Object-Based Programs

      • Anindya Banerjee
      Pages 1-2

    2. The COST IC0701 Verification Competition 2011

      • Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore et al.
      Pages 3-21

    3. The Practical Application of Formal Methods: Where Is the Benefit for Industry?

      • James J. Hunt
      Pages 22-32

    4. Isolation Types and Multi-core Architectures

      • Alan Mycroft
      Pages 33-48

    5. Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study

      • Peter Y. H. Wong, Nikolay Diakov, Ina Schaefer
      Pages 49-66

  3. Contributed Papers

    1. Modeling and Analyzing the Interaction of C and C++ Strings

      • Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivančić, Aarti Gupta, Rakesh Pothengil
      Pages 67-85

    2. Integration of Bounded Model Checking and Deductive Verification

      • Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz
      Pages 86-104

    3. A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems

      • Lucian Bentea, Olaf Owe
      Pages 105-122

    4. Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode

      • Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl
      Pages 123-141

    5. Juggrnaut – An Abstract JVM

      • Jonathan Heinen, Henrik Barthels, Christina Jansen
      Pages 142-159

    6. A Verified Implementation of Priority Monitors in Java

      • Ángel Herranz, Julio Mariño
      Pages 160-177

    7. Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification

      • Marieke Huisman, Tri Minh Ngo
      Pages 178-195

    8. A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios

      • Einar Broch Johnsen, Rudolf Schlatte, S. Lizeth Tapia Tarifa
      Pages 196-213

    9. A \(\mathbb{K}\)-Based Formal Framework for Domain-Specific Modelling Languages

      • Vlad Rusu, Dorel Lucanu
      Pages 214-231

    10. Verification of Information Flow Properties of Java Programs without Approximations

      • Christoph Scheben, Peter H. Schmitt
      Pages 232-249

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Verification of Object-Oriented Software

Keywords

About this book

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 invited talks were carefully reviewed and selected from 19 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area.

Editors and Affiliations

  • Institute for Theoretical Informatics, Karlsruhe Institute of Technology, Karlsruhe, Germany

    Bernhard Beckert

  • Dipartimento di Informatica, Università di Torino, Italy

    Ferruccio Damiani

  • Royal Institute of Technology, Stockholm, Sweden

    Dilian Gurov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation