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-130-4 |
Publication Date: | Jun 2021 |
Publisher: | Morgan & Claypool Publishers
|
Book Format: | Hardback |
List Price: | AUD $127.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.