Program verification

Author(s)

• Francez, Nissim

Bibliographic Information

Program verification

Nissim Francez

（International computer science series）

Addison-Wesley Pub. Co., c1992

Note

Includes bibliographical references and index

Description and Table of Contents

Description

This comprehensive textbook on program verification aims to give a clear, up-to-date approach to building proveably correct programs, emphasising the role of verification in software development. Features rigorous approach, assuming no knowledge of logic and discrete maths covers modern topics like concurrency and fairness includes many exercises as an aid to understanding, plus solutions to selected exercises within the book

Table of Contents

1. Introduction2. On Specifications3. Verifying Deterministic Programs4. The Compositional Approach5. Verifying Nondeterministic Programs6. Verifying Programs With ProceduresAn Interlude on Concurrency7. Verifying Concurrent Programs8. Verifying Distributed Programs

by "Nielsen BookData"

• NCID: BA1885303X
• ISBN:
  • 0201416085
• LCCN: 92025895
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Reading, Mass.
• Pages/Volumes: xi, 312 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.76.V47
  • DC20 : 005.1/4
• Subject Headings:
  • LCSH : Computer software -- Verification
• Parent Bibliography ID:
  • BA00203522