Towards Verifying the Bitcoin-S Library (Short Paper). - Ramon Boss; Kai Brünnler; Anna Doukmak (FMBC@CAV, 2020)