Titlebook: Automated Verification of Concurrent Search Structures; Siddharth Krishna,Nisarg Patel,Thomas Wies Book 2021 Springer Nature Switzerland A

碎片

Book 2021se being developed and used today. The goal of this book is to show how to bridge this gap in order to bring the certified safety of formal verification to high-performance concurrent search structures. Similar techniques and frameworks can be applied to concurrent graph and network algorithms beyond search structures.

凝乳

Psa617

10樓

Incompetent

10樓

CLOUT

10樓