Related Books
Language: en
Pages: 669
Pages: 669
Type: BOOK - Published: 2007-01-03 - Publisher: Springer Science & Business Media
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
Language: en
Pages: 207
Pages: 207
Type: BOOK - Published: 2011-01-14 - Publisher: Springer Science & Business Media
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeO
Language: en
Pages: 669
Pages: 669
Type: BOOK - Published: 2007-04-21 - Publisher: Springer
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
Language: en
Pages: 521
Pages: 521
Type: BOOK - Published: 2013-03-21 - Publisher: Springer
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
Language: en
Pages: 294
Pages: 294
Type: BOOK - Published: 2014-08-18 - Publisher: KIT Scientific Publishing
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising
