Towards Efficient Runtime Verified Linearizable Algorithms.

Gilde Valeria Rodrguez, Armando Castaeda

Browse the full RV paper archive.