Parameterized Verification of Synchronized Concurrent Programs. - Ganjei, Zeinab (Linköping : Linkopings Universitet, 2021)
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.
Description based on publisher supplied metadata and other sources.
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Keywords: Electronic books