3 citations · 4 across the 2 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2020
Formal Specification and Verification of Solidity Contracts with Events
Ákos Hajdu, Dejan Jovanović, Gabriela Ciocarlie
Events in the Solidity language provide a means of communication between the on-chain services of decentralized applications and the users of those services. Events are commonly us…
cs.PL2020
SMT-Friendly Formalization of the Solidity Memory Model
Ákos Hajdu, Dejan Jovanović
Solidity is the dominant programming language for Ethereum smart contracts. This paper presents a high-level formalization of the Solidity language with a focus on the memory model…
cs.PL2019
solc-verify: A Modular Verifier for Solidity Smart Contracts
Ákos Hajdu, Dejan Jovanović
We present solc-verify, a source-level verification tool for Ethereum smart contracts. Solc-verify takes smart contracts written in Solidity and discharges verification conditions…