Skip to main content
SpringerLink
Log in

Formal Verification of Object-Oriented Software

International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Bernhard Beckert

    1. Institute for Theoretical Informatics, Karlsruhe, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Claude Marché

    1. INRIA Saclay- Île-de-France, Parc Orsay Université, Orsay Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • High quality selected papers
  • Unique visibility
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: FoVeOOS 2010.

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 54.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 (13 papers)

  1. Front Matter

    Download chapter PDF

  2. From a Proven Correct Microkernel to Trustworthy Large Systems

    • June Andronick
    Pages 1-9

  3. Static Contract Checking with Abstract Interpretation

    • Manuel Fähndrich, Francesco Logozzo
    Pages 10-30

  4. Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?

    • Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani
    Pages 31-45

  5. Validating Timed Models of Deployment Components with Parametric Concurrency

    • Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
    Pages 46-60

  6. Verification of Software Product Lines with Delta-Oriented Slicing

    • Daniel Bruns, Vladimir Klebanov, Ina Schaefer
    Pages 61-75

  7. Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas

    • Christoph D. Gladisch
    Pages 76-91

  8. Sawja: Static Analysis Workshop for Java

    • Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas Jensen, Vincent Monfort et al.
    Pages 92-106

  9. CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties

    • Marieke Huisman, Dilian Gurov
    Pages 107-121

  10. Specifying Imperative ML-Like Programs Using Dynamic Logic

    • Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel
    Pages 122-137

  11. Dynamic Frames in Java Dynamic Logic

    • Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß
    Pages 138-152

  12. A Refinement Methodology for Object-Oriented Programs

    • Asma Tafat, Sylvain Boulmé, Claude Marché
    Pages 153-167

  13. A Dynamic Logic for Unstructured Programs with Embedded Assertions

    • Mattias Ulbrich
    Pages 168-182

  14. JMLUnit: The Next Generation

    • Daniel M. Zimmerman, Rinkesh Nagmoti
    Pages 183-197

  15. 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 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701.
The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 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 2010 aimed to foster collaboration and interactions among researchers in this area.

Editors and Affiliations

  • Institute for Theoretical Informatics, Karlsruhe, Germany

    Bernhard Beckert

  • INRIA Saclay- Île-de-France, Parc Orsay Université, Orsay Cedex, France

    Claude Marché

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation