Raju Halder. State-based Invariant Property Generation of Solidity Smart Contracts using Abstract Interpretation. In IEEE International Conference on Blockchain, Blockchain 2024, Copenhagen, Denmark, August 19-22, 2024. pages 235-242, IEEE, 2024. [doi]
@inproceedings{Halder24,
title = {State-based Invariant Property Generation of Solidity Smart Contracts using Abstract Interpretation},
author = {Raju Halder},
year = {2024},
doi = {10.1109/Blockchain62396.2024.00038},
url = {https://doi.org/10.1109/Blockchain62396.2024.00038},
researchr = {https://researchr.org/publication/Halder24},
cites = {0},
citedby = {0},
pages = {235-242},
booktitle = {IEEE International Conference on Blockchain, Blockchain 2024, Copenhagen, Denmark, August 19-22, 2024},
publisher = {IEEE},
isbn = {979-8-3503-5159-0},
}