Formal Verification of Object-Oriented Software

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

  • Bernhard Beckert
  • Ferruccio Damiani
  • Dilian Gurov
Conference proceedings FoVeOOS 2011
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7421)

Table of contents

  1. Front Matter
  2. Invited Papers

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

    1. Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivančić, Aarti Gupta, Rakesh Pothengil
      Pages 67-85
    2. Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz
      Pages 86-104
    3. Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl
      Pages 123-141
    4. Jonathan Heinen, Henrik Barthels, Christina Jansen
      Pages 142-159
    5. Ángel Herranz, Julio Mariño
      Pages 160-177
    6. Einar Broch Johnsen, Rudolf Schlatte, S. Lizeth Tapia Tarifa
      Pages 196-213
  4. Back Matter

About these proceedings

Introduction

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.

Keywords

distributed systems formal methods model checking modeling languages programs

Editors and affiliations

  • Bernhard Beckert
    • 1
  • Ferruccio Damiani
    • 2
  • Dilian Gurov
    • 3
  1. 1.Institute for Theoretical InformaticsKarlsruhe Institute of TechnologyKarlsruheGermany
  2. 2.Dipartimento di InformaticaUniversità di TorinoItaly
  3. 3.Royal Institute of TechnologyStockholmSweden

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-31762-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-31761-3
  • Online ISBN 978-3-642-31762-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349