Towards automated verification of Bitcoin-based decentralised applications Conference proceeding (March 2023)