Ryo Kawahara. Verification of customizable blockchain consensus rule using a formal method. In IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2020, Toronto, ON, Canada, May 2-6, 2020. pages 1-3, IEEE, 2020. [doi]
Abstract is missing.