The Principle of Staking: Formal Verification of Staking Smart Contract.

Zhongyun Zhang, Kundu Chen, Weiqi Guo, Wenbo Zhang

Browse the full SETTA paper archive.