Verification of sequential and concurrent programs
By: Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog ; foreword by Amir Pnueli
Contributors: Boer, Frank S. de; Olderog, E.-R
Edition: 3rd extended ed.
Series: Texts in computer science
Publisher: Springer
Published: 2009
Place of publication: Dordrecht; London; New York
Language: eng
Number of pages: 502
ISBN-13: 9781848827448
Subjects: Verification; Computer software
Description: This third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic & nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs.
Notes: Includes bibliographical references and indexes.