Table of Contents: Parameterized Verification of Synchronized Concurrent Programs.

Cover Image

QR Code

Parameterized Verification of Synchronized Concurrent Programs.

Bibliographic Details
Main Author:	Ganjei, Zeinab.
Format:	eBook
Language:	English
Published:	Linköping : Linkopings Universitet, 2021.
Edition:	1st ed.
Series:	Linköping Studies in Science and Technology. Dissertations Series
Subjects:	Electronic books.
Online Access:	Click to View

Table of Contents:

Intro
ABSTRACT
POPULÄRVETENSKAPLIG SAMMANFATTNING
Acknowledgments
Contents
List of Figures
List of Tables
1 Introduction
2 Background
3 Preliminaries
4 Safety Verification of Phaser Programs
5 Safety Verification of Parameterized Phaser Programs
6 Counting Dynamically Synchronizing Processes
7 Lazy Constrained Monotonic Abstraction
8 Verifying Safety of Parameterized Heard-Of Algorithms
9 Conclusion
Bibliography.