Daniel Britten, Steve Reeves. Modelling a Blockchain for Smart Contract Verification using DeepSEA. In Cyrille Artho, Peter Csaba Ölveczky, editors, Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022. pages 88-94, ACM, 2022. [doi]
Abstract is missing.