The foundations of program verification. and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science

Loeckx, Jacques:

ISBN 10: 3519021013 / ISBN 13: 9783519021018

Published by Stuttgart : Teubner, Chichester , New York , Brisbane , Toronto , Singapore : Wiley, 1984

About this Item

IX, 230 S. , 24 cm Sofort verfügbar / Versand am folgenden Arbeitstag / mit Rechnung / daily shipping wordwide with invoice / ex library / Sprache: Deutsch Gewicht in Gramm: 550.

Seller Inventory # 124332

Bibliographic Details

• Title: The foundations of program verification. and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science
• Publisher: Stuttgart : Teubner, Chichester , New York , Brisbane , Toronto , Singapore : Wiley
• Publication Date: 1984
• Language: German
• ISBN 10: 3519021013
• ISBN 13: 9783519021018
• Binding: Pp.
• Condition: Gut

About this title

Synopsis

Program verification is presented here in a syle that is self-contained and accessible without prior knowledge of logic or semantics. Concentrates on the classic methods such as the inductive assertions method of Floyd, the axiomatic method of Hoare and Scott's fixed point induction., while explaining their mathematical background. The exposition is detailed and mathematically rigorous. To present the subject in as simply as possible, three representative programming languages are a flowchart programming language, a language of while-programs, and a language of recursive programs. Provides illustrations of each verification method and proofs of their correctness by means of the appropriate semantics. Examples reappear throughout the book to illustrate how different methods are related.