Parameterized Verification of Synchronized Concurrent Programs.
Saved in:
| Superior document: | Linköping Studies in Science and Technology. Dissertations Series ; v.2125 |
|---|---|
| : | |
| Place / Publishing House: | Linköping : : Linkopings Universitet,, 2021. {copy}2021. |
| Year of Publication: | 2021 |
| Edition: | 1st ed. |
| Language: | English |
| Series: | Linköping Studies in Science and Technology. Dissertations Series
|
| Online Access: | |
| Physical Description: | 1 online resource (216 pages) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Intro
- ABSTRACT
- POPULÄ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.