Amazon cover image
Image from Amazon.com

Rigorous software development : an introduction to program verification / José Bacelar Almeida ... [et al.].

Contributor(s): Material type: TextTextSeries: Undergraduate topics in computer sciencePublication details: London : Springer, c2011.Description: xii, 263 p. ; 23 cmISBN:
  • 9780857290175 (pbk.)
  • 0857290177 (pbk.)
Subject(s): DDC classification:
  • 005.14 22
LOC classification:
  • QA76.76.V47 R54 2011
Online resources:
Contents:
Introduction -- An overview of formal methods tools and techniques -- Propositional logic -- First-order logic -- Hoare logic -- Generating verification conditions -- Safety properties -- Procedures and contracts -- Specifying C programs -- Verifying C programs.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Shelving location Call number Copy number Status Barcode
Books Books Main Campus Library University of Eastern Africa, Baraton Main Stack QA 76.76 .V47 R54 2011 c.1 (Browse shelf(Opens below)) 1 Available 80235
Books Books Main Campus Library University of Eastern Africa, Baraton Main Stack QA 76.76 .V47 R54 2011 c.2 (Browse shelf(Opens below)) 2 Available 80236

Includes bibliographical references and index.

Introduction -- An overview of formal methods tools and techniques -- Propositional logic -- First-order logic -- Hoare logic -- Generating verification conditions -- Safety properties -- Procedures and contracts -- Specifying C programs -- Verifying C programs.

There are no comments on this title.

to post a comment.