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.
Author(s): June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.)
Series: Lecture Notes in Computer Science 6528 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2011
Language: English
Pages: 199
Tags: Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Mathematical Logic and Formal Languages; Management of Computing and Information Systems
Front Matter....Pages -
From a Proven Correct Microkernel to Trustworthy Large Systems....Pages 1-9
Static Contract Checking with Abstract Interpretation....Pages 10-30
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?....Pages 31-45
Validating Timed Models of Deployment Components with Parametric Concurrency....Pages 46-60
Verification of Software Product Lines with Delta-Oriented Slicing....Pages 61-75
Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas....Pages 76-91
Sawja: Static Analysis Workshop for Java....Pages 92-106
CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties....Pages 107-121
Specifying Imperative ML-Like Programs Using Dynamic Logic....Pages 122-137
Dynamic Frames in Java Dynamic Logic....Pages 138-152
A Refinement Methodology for Object-Oriented Programs....Pages 153-167
A Dynamic Logic for Unstructured Programs with Embedded Assertions....Pages 168-182
JMLUnit: The Next Generation....Pages 183-197
Back Matter....Pages -
