A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts
[article]
2021
arXiv
pre-print
Preserved Fulltext
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