[PDF] Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction Free Download

[message] Brief Description [PDF] Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstractio...

  • [message]
    • Brief Description
      • [PDF] Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction Free Download by Benjamin Weiá | Publisher : KIT Scientific Publishing | Category : Computers & Internet | Tags : Software, Systems, Testing, Design, Object Oriented, Logic | ISBN-10 : 3866446233 | ISBN-13 : 9783866446236
  • [message]
    • Book Image
      • Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction by Benjamin Weiá, Publisher : KIT Scientific Publishing
  • [message]
    • Complete Book Description
      • Softwaresystems 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.

  • [message]
    • Book Details
      • Book Name : Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction

        Edition : 1

        Author : Benjamin Weiá

        Publisher : KIT Scientific Publishing

        Category : Computers & Internet

        ISBN-10 : 3866446233

        ISBN-13 : 9783866446236

        ASIN : 3866446233

        Pages : 292

        Language : English

        Publish Date : February 25, 2011


  • [message]
    • Purchase on Amazon

These study materials are for information purposes and completely free. If you find these study material useful please write to us in a comment box.

Disclaimer : We are not the original publisher of this Book/Material on net. This eBook/Material had been collected from other sources of net.

Thank You

The Free Study Team

COMMENTS