An Assertional Proof of Red-Black Trees Using Dafny

Ricardo Peña. An Assertional Proof of Red-Black Trees Using Dafny. Journal of Automated Reasoning, 64(4):767-791, 2020. [doi]

Abstract

Abstract is missing.