Now showing items 1-1 of 1

    • A Reduction from Smart Contract Verification to Model Checking 

      Lotfi Takami, Alireza (University of Waterloo, 2021-08-25)
      We present a reduction from verification of smart contracts to model checking. A smart contract is a computer program written in a language with constructs that correspond to real-world contracts, such as verified sending ...


      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages