Our paper, titled: Isabelle/Solidity: A Tool for the Verification ofSolidity Smart Contracts, published in 6th International Workshop on Formal Methods for Blockchains (FMBC 2025) held on May 04, 2025, co-located with ETAPS 2025, May 3–8, 2025, Hamilton, Canada, McMaster University