Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2002.02710
Cited By
Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity
7 February 2020
P. Antonino
A. W. Roscoe
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity"
1 / 1 papers shown
Title
Pre-deployment Analysis of Smart Contracts -- A Survey
Sundas Munir
Walid M. Taha
33
12
0
15 Jan 2023
1