Verification of sequential and concurren
β Krzysztof R. Apt, Frank S. de Boer, Ernst-RΓΌdiger Olderog
π Library
π
2009
π Springer
π English
β¦ LIBER β¦
π
Verification of Sequential and Concurrent Programs
β Scribed by Krzysztof R. Apt, Ernst-RΓΌdiger Olderog
- Publisher
- Springer
- Year
- 1997
- Tongue
- English
- Leaves
- 370
- Series
- Graduate Texts in Computer Science
- Edition
- 2nd
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Table of Contents
Front Matter....Pages i-xvii
Introduction....Pages 1-14
Preliminaries....Pages 15-45
Deterministic Programs....Pages 47-99
Disjoint Parallel Programs....Pages 101-124
Parallel Programs with Shared Variables....Pages 125-167
Parallel Programs with Synchronization....Pages 169-211
Nondeterministic Programs....Pages 213-233
Distributed Programs....Pages 235-270
Fairness....Pages 271-323
Back Matter....Pages 325-364
β¦ Subjects
Logics and Meanings of Programs; Mathematical Logic and Formal Languages
π SIMILAR VOLUMES
Verification of Sequential and Concurren
β Krzysztof R. Apt, Frank S. de Boer, Ernst-RΓΌdiger Olderog
π Library
π
2009
π Springer
π English
<p><P>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
Verification of Sequential and Concurren
β Krzysztof R. Apt, Ernst-RΓΌdiger Olderog
π Library
π
1991
π Springer
π English
Verification of Sequential and Concurren
β Krzysztof R. Apt, Frank S. de Boer, Ernst-RΓΌdiger Olderog (auth.)
π Library
π
2009
π Springer
π English
Specification and Verification of Concur
β Pierre America (auth.), C. Rattray MSc (eds.)
π Library
π
1990
π Springer-Verlag London
π English
<p>This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production
Sequential Logic Testing and Verificatio
β Abhijit Ghosh, Srinivas Devadas, A. Richard Newton (auth.)
π Library
π
1992
π Springer US
π English
<p>In order to design and build computers that achieve and sustain high performance, it is essential that reliability issues be considered careΒ fully. The problem has several aspects. Certainly, considering reliability implies that an engineer must be able to analyze how design decisions affect the