Programming and Software Engineering

Formal Verification of Object-Oriented Software

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

Editors: Beckert, Bernhard, Marché, Claude (Eds.)

Free Preview
  • High quality selected papers
  • Unique visibility
  • State of the art research
see more benefits

Buy this book

eBook 51,16 €
price for Spain (gross)
  • ISBN 978-3-642-18070-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 62,39 €
price for Spain (gross)
  • ISBN 978-3-642-18069-9
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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.

Table of contents (13 chapters)

  • From a Proven Correct Microkernel to Trustworthy Large Systems

    Andronick, June

    Pages 1-9

    Preview Buy Chapter 30,19 €
  • Static Contract Checking with Abstract Interpretation

    Fähndrich, Manuel (et al.)

    Pages 10-30

    Preview Buy Chapter 30,19 €
  • Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?

    Ancona, Davide (et al.)

    Pages 31-45

    Preview Buy Chapter 30,19 €
  • Validating Timed Models of Deployment Components with Parametric Concurrency

    Broch Johnsen, Einar (et al.)

    Pages 46-60

    Preview Buy Chapter 30,19 €
  • Verification of Software Product Lines with Delta-Oriented Slicing

    Bruns, Daniel (et al.)

    Pages 61-75

    Preview Buy Chapter 30,19 €

Buy this book

eBook 51,16 €
price for Spain (gross)
  • ISBN 978-3-642-18070-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 62,39 €
price for Spain (gross)
  • ISBN 978-3-642-18069-9
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Verification of Object-Oriented Software
Book Subtitle
International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Editors
  • Bernhard Beckert
  • Claude Marché
Series Title
Programming and Software Engineering
Series Volume
6528
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer Berlin Heidelberg
eBook ISBN
978-3-642-18070-5
DOI
10.1007/978-3-642-18070-5
Softcover ISBN
978-3-642-18069-9
Edition Number
1
Number of Pages
X, 199
Number of Illustrations
44 b/w illustrations, 1 illustrations in colour
Topics