Reset Filters
Branch: 上海图书馆

Cover is for reference only

Formal verification of object-oriented software：international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers

Saved in:
Bibliographic Details
Corporate Authors: FoVeOOS (Conference) (2010 Paris, France); SpringerLink (Online service)
Group Author: Marche Claude.; Beckert Bernhard.
Published: Springer,
Publisher Address: Berlin
Publication Dates: 2011.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 6528
Subjects:
Object-oriented methods (Computer science)
Formal methods (Computer science)
Softwareprodukt.
Objektorientierung.
Verifikation.
Formale Methode.
Objektorientierte Programmiersprache.
Electronic books.
Kongress.
Computer software > Verification.
Paris <2010>
Online Access: http://dx.doi.org/10.1007/978-3-642-18070-5
Carrier Form: 1 online resource (x, 197 p.): ill.
ISBN: 9783642180705 (electronic bk.)
3642180701 (electronic bk.)
Index Number: TP311
CLC: TP311.1-532
Contents: International conference proceedings.
Includes bibliographical references.
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.

Related Book Recommendations