Verification of Sequential and Concurrent Programs

• Main Authors: Apt, Krzysztof R. (Author), Boer, Frank S. (Author), Olderog, Ernst-R<U+00fc>diger. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: London : Springer London, 2009.
• Series: Texts in Computer Science,
• Subjects: Computer science.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-84882-745-5

Computer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioning and safety of these systems is of paramount importance. The development of methods that ensure program correctness is therefore a key challenge for computer scientists. This...

Table of Contents:

• Part I: In the Beginning
• Introduction
• Preliminaries
• Part II: Deterministic Programs
• while Programs
• Recursive Programs
• Recursive Programs with Parameters
• Object-Oriented Programs
• Part III: Parallel Programs
• Disjoint Parallel Programs
• Parallel Programs with Shared Variables
• Parallel Programs with Synchronization
• Part IV: Nondeterministic and Distributed Programs
• Nondeterministic Programs
• Distributed Programs
• Fairness.