Verification of Object-Oriented Software. The KeY Approach
Verification of Object-Oriented Software. The KeY Approach

Author: Bernhard Beckert

Publisher: Springer Science & Business Media

Published: 2007-01-03

Total Pages: 669

ISBN-13: 354068977X

DOWNLOAD EBOOK

The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book.

Formal Verification of Object-Oriented Software
Formal Verification of Object-Oriented Software

Author: Bernhard Beckert

Publisher: Springer

Published: 2011-01-18

Total Pages: 207

ISBN-13: 3642180701

DOWNLOAD EBOOK

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.

Verification of Object-Oriented Software. The KeY Approach
Verification of Object-Oriented Software. The KeY Approach

Author: Bernhard Beckert

Publisher: Springer

Published: 2007-04-21

Total Pages: 669

ISBN-13: 3540690611

DOWNLOAD EBOOK

The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book.

Applications of Formal Methods
Applications of Formal Methods

Author: Michael Gerard Hinchey

Publisher:

Published: 1995

Total Pages: 480

ISBN-13:

DOWNLOAD EBOOK

This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.

Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems

Author: Marcello M. Bonsangue

Publisher: Springer

Published: 2007-06-27

Total Pages: 327

ISBN-13: 3540729526

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007. The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.

Formal Methods for Open Object-Based Distributed Systems IV
Formal Methods for Open Object-Based Distributed Systems IV

Author: Scott F. Smith

Publisher: Springer

Published: 2012-08-10

Total Pages: 411

ISBN-13: 0387355200

DOWNLOAD EBOOK

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Papers in this volume focus on the following specific technologies: components; mobile code; Java®; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.

Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems

Author: Martin Steffen

Publisher: Springer

Published: 2005-05-20

Total Pages: 332

ISBN-13: 354031556X

DOWNLOAD EBOOK

This volume contains the proceedings of FMOODS 2005, the 7th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15 –17, 2005.

Aliasing in Object-Oriented Programming
Aliasing in Object-Oriented Programming

Author: David Clarke

Publisher: Springer

Published: 2013-03-21

Total Pages: 521

ISBN-13: 3642369464

DOWNLOAD EBOOK

This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions.

Deductive Verification of Object-oriented Software
Deductive Verification of Object-oriented Software

Author: Benjamin Weiß

Publisher: KIT Scientific Publishing

Published: 2014-08-18

Total Pages: 294

ISBN-13: 3866446233

DOWNLOAD EBOOK

Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.

Formal Methods for Components and Objects
Formal Methods for Components and Objects

Author: Frank S. de Boer

Publisher: Springer

Published: 2005-09-27

Total Pages: 332

ISBN-13: 3540319395

DOWNLOAD EBOOK

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems.