Hundreds of Mathematics books at half price + FREE shipping! Get yours now >>

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

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

Buy this book

eBook $69.99
price for USA (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 $89.99
price for USA
  • ISBN 978-3-642-18069-9
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
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

  • Static Contract Checking with Abstract Interpretation

    Fähndrich, Manuel (et al.)

    Pages 10-30

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

    Ancona, Davide (et al.)

    Pages 31-45

  • Validating Timed Models of Deployment Components with Parametric Concurrency

    Broch Johnsen, Einar (et al.)

    Pages 46-60

  • Verification of Software Product Lines with Delta-Oriented Slicing

    Bruns, Daniel (et al.)

    Pages 61-75

Buy this book

eBook $69.99
price for USA (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 $89.99
price for USA
  • ISBN 978-3-642-18069-9
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
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 and Tables
44 b/w illustrations, 1 illustrations in colour
Topics