An idealist’s approach for smart contract correctness

An idealist’s approach for smart contract correctness

In this work, we experiment an idealistic approach for smart contract correctness verification and enforcement, based on the assumption that developers are either desired or required to provide a correctness specification due to the importance of smart contracts and the fact that they are immutable...

Full description

Saved in:
Bibliographic Details
Main Authors: NGUYEN, Duy Tai, PHAM, Hong Long, SUN, Jun, LE, Quang Loc
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2023
Subjects:
Contracts
Finance and Financial Management
Software Engineering
Theory and Algorithms
Online Access:https://ink.library.smu.edu.sg/sis_research/8373
https://ink.library.smu.edu.sg/context/sis_research/article/9376/viewcontent/SmartContractCorrectness_av.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/8373
https://ink.library.smu.edu.sg/context/sis_research/article/9376/viewcontent/SmartContractCorrectness_av.pdf

Similar Items