عنوان

Formal verification of object-oriented software :

(Number (ISBN

3642180701

(Number (ISBN

9783642180705

Number

b434049

Title Proper

Formal verification of object-oriented software :

General Material Designation

[Book]

Other Title Information

international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /

First Statement of Responsibility

Bernhard Beckert, Claude Marche (editions.)

Specific Material Designation and Extent of Item

1 online resource (x, 197 pages) :

Other Physical Details

illustrations

Series Title

Lecture notes in computer science,

Volume Designation

6528

ISSN of Series

0302-9743 ;

Text of Note

Includes bibliographical references

Text of Note

From a Proven Correct Microkernel to Trustworthy Large Systems -- Static Contract Checking with Abstract Interpretation -- Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? -- Validating Timed Models of Deployment Components with Parametric Concurrency -- Verification of Software Product Lines with Delta-Oriented Slicing -- Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas -- Sawja: Static Analysis Workshop for Java -- CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties -- Specifying Imperative ML-Like Programs Using Dynamic Logic -- Dynamic Frames in Java Dynamic Logic -- A Refinement Methodology for Object-Oriented Programs -- A Dynamic Logic for Unstructured Programs with Embedded Assertions -- JMLUnit: The Next Generation

0

Text of Note

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

Source for Acquisition/Subscription Address

Springer

Stock Number

978-3-642-18069-9

Title

Formal verification of object-oriented software.

International Standard Book Number

9783642180699

Computer software-- Verification, Congresses

Formal methods (Computer science), Congresses

Object-oriented methods (Computer science), Congresses

QA

Number

Edition

Class number

Book number

Beckert, Bernhard

Marche, Claude

FoVeOOS (Conference)(2010 :, Paris, France)

Date of Transaction

20170726082113.0

Cataloguing Rules (Descriptive Conventions))

pn

Electronic name

[Book]

Y