The correctness-by-construction approach to programming
By: Derrick G. Kourie, Bruce W. Watson
Contributors: Watson, Bruce W.
Publisher: Springer
Published: 2012
Place of publication: Berlin; New York
Language: eng
Number of pages: 264
ISBN-13: 9783642279188; 9783642279195
Subjects: Formal methods (Computer science); Software engineering
Notes: Includes bibliographical references (p. 259-261) and index.
Table of contents: title: Introduction --; title: Background --; title: Simple Examples --; title: Intermediary Examples --; title: Procedures and Recursion --; title: Case Study: Lattice Cover Graph Construction --; title: Case Study 2: Classifying MADFA Construction Algorithms.