|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
|
|
|
1st ed.
|
|
|
Linkoping : Linkopings Universitet, 2021
|
|
|
1 online resource (216 pages)
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 9789179296971 (electronic bk.)
|
|
|
Print version: Ganjei, Zeinab Parameterized Verification of Synchronized Concurrent Programs Linkoping : Linkopings Universitet,c2021
|
|
|
Intro -- ABSTRACT -- POPULARVETENSKAPLIG 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.
|
|
|
|
|
|
001895452
|
|
|
express
|
|
|
(Au-PeEL)EBL6523333
|
|
|
(MiAaPQ)EBC6523333
|
|
|
(OCoLC)1246573574
|
Dotazy a připomínky