Rigorous software development
Subtitle: an introduction to program verification
By: José Bacelar Almeida ... [et al.].
Series: Undergraduate topics in computer science; Undergraduate topics in computer science
Publisher: Springer
Published: 2011
Place of publication: London
Language: eng
Number of pages: 263
ISBN-13: 9780857290175
Subjects: Development; Verification; Computer software
Notes: Includes bibliographical references and index.
Table of contents: title: Introduction; title: An overview of formal methods tools and techniques; title: Propositional logic; title: First-order logic; title: Hoare logic; title: Generating verification conditions; title: Safety properties; title: Procedures and contracts; title: Specifying C programs; title: Verifying C programs.