@inproceedings{85b1a3166c8c4899994241174dd1d96a,
title = "Solvent: Liquidity Verification of Smart Contracts",
abstract = "Smart contracts are an attractive target for attackers, as evidenced by a long history of security incidents. A current limitation of smart contract verification tools is that they are not really effective in expressing and verifying liquidity properties regarding the exchange of crypto-assets: for example, is it true that in every reachable state a user can fire a sequence of transactions to withdraw a given amount of crypto-assets? We propose Solvent, a tool aimed at verifying these kinds of properties, which are beyond the reach of existing verification tools for Solidity. We evaluate the effectiveness and performance of Solvent through a common benchmark of smart contracts.",
author = "Massimo Bartoletti and Angelo Ferrando and Enrico Lipparini and Vadim Malvone",
note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.; 19th International Conference on integrated Formal Methods, iFM 2024 ; Conference date: 13-11-2024 Through 15-11-2024",
year = "2025",
month = jan,
day = "1",
doi = "10.1007/978-3-031-76554-4\_14",
language = "English",
isbn = "9783031765537",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "256--266",
editor = "Nikolai Kosmatov and Laura Kov{\'a}cs",
booktitle = "Integrated Formal Methods - 19th International Conference, IFM 2024, Proceedings",
}