Browsing Research Reports in Software Engineering and Management by Subject "runtime verification"

Now showing items 1-1 of 1

    • Tainting in Smart Contracts: Combining Static and Runtime Verification 

      Azzopardi, Shaun; Ellul, Joshua; Falzon, Ryan; Pace, Gordon J. (Lecture Notes in Computer Science book series (LNCS,volume 13498), 2022)
      Smart contracts exist immutably on blockchains, making their pre-deployment correctness essential. Moreover, they exist openly on blockchains—open for interaction with any other smart contract and offchain entity. Interaction, ...