Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstraction

by Benjamin Weiss

No Customer Reviews

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...

Format:Paperback

Language:English

ISBN:3866446233

ISBN13:9783866446236

Release Date:February 2011

Publisher:Karlsruher Institut Fur Technologie

Length:292 Pages

Weight:1.03 lbs.

Dimensions:0.6" x 6.7" x 9.6"

Related Subjects

Computers Computers & Technology

Customer Reviews

0 rating

Write a review

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks^® and the ThriftBooks^® logo are registered trademarks of Thrift Books Global, LLC

Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstraction

Recommended

Customer Reviews

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us