Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs
Author :
Publisher : Springer Science & Business Media
Total Pages : 371
Release :
ISBN-10 : 9781475727142
ISBN-13 : 1475727143
Rating : 4/5 (143 Downloads)

Book Synopsis Verification of Sequential and Concurrent Programs by : Krzysztof R. Apt

Download or read book Verification of Sequential and Concurrent Programs written by Krzysztof R. Apt and published by Springer Science & Business Media. This book was released on 2013-03-09 with total page 371 pages. Available in PDF, EPUB and Kindle. Book excerpt: A major challenge for computer science is to develop methods that ensure program correctness. This textbook provides a structured introduction to program verification using an assertional approach - so called because it relies on the use of assertions that are attached to program control points. Sequential programs in the form of deterministic and non-deterministic programs, and concurrent programs in the form of parallel and distributed programs are considered within the context of their partial and total correctness. The use of these proof systems is demonstrated with the help of case studies. In particular, solutions to classical problems such as mutual exclusion are formally verified. Each chapter concludes with exercises and bibliographic remarks for further reading. As a result, this text is suitable as either an introductory course on program verification for the upper division of undergraduate studies or for graduate studies. It can also be used as an introduction to operational semantics. Outlines of possible courses are presented in the preface of the book.


Verification of Sequential and Concurrent Programs Related Books

Verification of Sequential and Concurrent Programs
Language: en
Pages: 371
Authors: Krzysztof R. Apt
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

A major challenge for computer science is to develop methods that ensure program correctness. This textbook provides a structured introduction to program verifi
Verification of Sequential and Concurrent Programs
Language: en
Pages: 512
Authors: Krzysztof Apt
Categories: Computers
Type: BOOK - Published: 2010-10-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is
Verification of Sequential and Concurrent Programs
Language: en
Pages: 396
Authors: Krzysztof R. Apt
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Software -- Software Engineering.
Computer Aided Verification
Language: en
Pages: 737
Authors: Ahmed Bouajjani
Categories: Computers
Type: BOOK - Published: 2009-06-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/
Concurrency Verification
Language: en
Pages: 26
Authors: W.-P. de Roever
Categories: Computers
Type: BOOK - Published: 2001-11-26 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.