Print on Demand. This book offers a comprehensive survey of program proof technology, a specialized field of computer science focused on mathematical methods for proving the correctness of computer programs. The author, a leading expert in the field, provides a rigorous and detailed examination of the subject, encompassing its origins, key concepts, challenges, and future directions. The book traces the evolution of program verification, examining its historical roots in the early days of computing and its gradual development into a sophisticated and essential discipline. The author explores various proof methods, from non-instantiating techniques to powerful instantiating provers, delving into their underlying mechanisms and discussing their strengths and limitations. The author also explores the practical challenges of program verification, emphasizing the need for a close collaboration between program verification technology and programming practice. This discussion includes insights into the role of high-level programming languages, program modification, and proof-checker technology in enhancing the feasibility and effectiveness of program verification. The book concludes by highlighting the significance of program proof technology in developing reliable and secure software systems, particularly in safety-critical applications such as medical devices, autonomous vehicles, and financial systems. The author provides a compelling vision of the future of program verification, emphasizing its potential to transform software engineering and improve the trustworthiness of our increasingly digital world. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book.

Seller Inventory # 9781332202409_0

Contact seller

Report this item

Bibliographic Details

Title

A Survey of Program Proof Technology (Classic Reprint)

Publisher

Forgotten Books

Publication Date

2018

Language

English

ISBN 10

1332202403

ISBN 13

9781332202409

Binding

Paperback

Condition

New

Book Type

print-on-demand item

Seller catalogs

Logic

About this title

Synopsis

Excerpt from A Survey of Program Proof Technology

To prove programs correct, one can begin by giving formal mathematical definition to the notions 'programfi and Essentially, these mathematical definitions merely formalise the basic facts concerning programs and their meaning that one would present in a first course on programming. A 'programf can be defined formally as a sequence of 'statements.

About the Publisher

Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com

This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.

"About this title" may belong to another edition of this title.

Store Description

Forgotten Books? Classic Reprint Series utilizes the latest technology to regenerate facsimiles of historically important writings. Careful attention has been made to accurately preserve the original format of each page whilst digitally enhancing the quality of the aged text.

Visit Seller's Storefront

Seller's business information

FB& C
Dalton House, 60 Windsor Ave, London, SW19 2RR, United Kingdom

Sale & Shipping Terms

Terms of Sale

All books are Print on Demand and will be printed upon purchase and shipped in New Condition. Orders typically ship within 3-5 business days. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the ask bookseller a question link to contact us and we'll respond within 2 business days.

Ot...

More Information

Shipping Terms

We are committed to minimizing our environmental impact and reducing shipping costs by manufacturing and shipping our products as close to our customers as possible. For orders within the United States, your items are shipped from the USA with final delivery done by USPS.
UK and European orders are fulfilled from the UK through various couriers.
Canadian orders may be shipped from either Canada or the USA via Canada Post or UPS, depending on the size of the order.
For our customers in other regions around the world, we ensure that your orders are shipped from the closest available location to reduce delivery times and carbon footprint. Our goal is to deliver your products efficiently, no matter where you are located.

Please be aware that depending on the size of your order and local legislation in your country, there may be additional taxes, customs duties, and fees imposed by the destination country. These charges are not included in the item price or shipping cost. They are the responsibility of the customer and must be paid upon delivery.
We recommend checking with your local customs office for more information on potential charges before placing your order. Forgotten Books is not responsible for any customs duties, taxes, or fees incurred.

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	5 to 10 business days	5 to 10 business days
First item	US$ 0.00	US$ 0.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.