Anton Opaterny
YOU?
Author Swipe
View article: nekton: A Linearizability Proof Checker
nekton: A Linearizability Proof Checker Open
is a new tool for checking linearizability proofs of highly complex concurrent search structures. The tool’s unique features are its parametric heap abstraction based on separation logic and the flow framework, and its support for hindsigh…