Related Books

Deductive Verification of Object-oriented Software
Language: en
Pages: 294
Authors: Benjamin Weiß
Categories: Computers
Type: BOOK - Published: 2014-08-18 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising
Verification of Object-Oriented Software. The KeY Approach
Language: en
Pages: 669
Authors: Bernhard Beckert
Categories: Computers
Type: BOOK - Published: 2007-01-03 - Publisher: Springer Science & Business Media

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 softwar
Formal Verification of Object-Oriented Software
Language: en
Pages: 259
Authors: Bernhard Beckert
Categories: Computers
Type: BOOK - Published: 2012-07-11 - Publisher: Springer

DOWNLOAD EBOOK

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeO
Verification of Object-Oriented Software. The KeY Approach
Language: en
Pages: 669
Authors: Bernhard Beckert
Categories: Computers
Type: BOOK - Published: 2007-04-21 - Publisher: Springer

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 softwar
Formal Methods for Open Object-Based Distributed Systems
Language: en
Pages: 327
Authors: Marcello M. Bonsangue
Categories: Computers
Type: BOOK - Published: 2007-06-27 - Publisher: Springer

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, FMOO