Formal verification of object-oriented software:international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers
Saved in:
Corporate Authors: | ; |
---|---|
Group Author: | ; |
Published: |
Springer,
|
Publisher Address: | Berlin |
Publication Dates: | 2011. |
Literature type: | Book |
Language: | English |
Series: |
Lecture notes in computer science ; 6528 |
Subjects: | |
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. |