Filters








1 Hit in 1.7 sec

SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts [article]

Shaokai Lin, Xinyuan Sun, Jianan Yao, Ronghui Gu
2021 arXiv   pre-print
To address this challenge, we present SciviK, a versatile framework for specifying and verifying industrial-grade smart contracts.  ...  We use SciviK to specify and verify security properties for 12 benchmark contracts and a real-world Decentralized Finance (DeFi) smart contract.  ...  Conclusion SciviK is a versatile framework for specifying and verifying security properties for real-world smart contracts.  ... 
arXiv:2103.02209v1 fatcat:zhkwhhmazbgz7myfp343rt7gke