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-18 - Publisher: Springer
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: 480
Pages: 480
Type: BOOK - Published: 1995 - Publisher:
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.
Language: en
Pages: 327
Pages: 327
Type: BOOK - Published: 2007-06-27 - Publisher: Springer
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
