Crossmark

Automated construction of predicate abstractions for smart contract validation

Crossref DOI link: https://doi.org/10.1007/s10270-025-01333-x

Published Online: 2025-10-27

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Godoy, Javier https://orcid.org/0000-0002-4880-4070
Torres, Eden

Galeotti, Juan P. https://orcid.org/0000-0002-0747-8205
Garbervetsky, Diego https://orcid.org/0000-0003-4180-7196
Uchitel, Sebastian https://orcid.org/0000-0001-9352-1478
License Information

Text and Data Mining valid from 2025-10-27

Version of Record valid from 2025-10-27
More Information

Article History

Received: 29 December 2024

Revised: 4 September 2025

Accepted: 24 September 2025

First Online: 27 October 2025