Automated Verification of Concurrent Search Structures |
|
| Author:
| Krishna, Siddharth
Patel, Nisarg
Shasha, Dennis
Wies, Thomas |
| Series title: | Synthesis Lectures on Computer Science Ser. |
| ISBN: | 978-1-63639-128-1 |
| Publication Date: | Jun 2021 |
| Publisher: | Morgan & Claypool Publishers
|
| Book Format: | Paperback |
| List Price: | AUD $99.00 |
Book Description:
|
The rapid development and deployment of concurrent algorithms has resulted in a rift between the algorithms that can be verified by the state-of-the-art techniques and those being developed and used today. This book shows how to bridge this gap to bring the certified safety of formal verification to high-performance concurrent search structures.
The rapid development and deployment of concurrent algorithms has resulted in a rift between the algorithms that can be verified by the state-of-the-art techniques and those being developed and used today. This book shows how to bridge this gap to bring the certified safety of formal verification to high-performance concurrent search structures.