SmartPulse: Automated Checking of Temporal Properties in Smart Contracts

Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig. SmartPulse: Automated Checking of Temporal Properties in Smart Contracts. In 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021. pages 555-571, IEEE, 2021. [doi]

Abstract

Abstract is missing.