Jul 19, 2021 · In this paper, we present local bundles that reduce contracts with arbitrarily many users to sequential programs with a few representative users.
Abstract. Solidity smart contracts are programs that manage up to. 2160 users on a blockchain. Verifying a smart contract relative to all users.
Each representative user abstracts concrete users that are locally symmetric to each other relative to the contract and the property. Our abstraction is semi- ...
Oct 17, 2021 · In this paper, we present local bundles that reduce contracts with arbitrarily many users to sequential programs with a few representative users ...
In this paper, we present local bundles that reduce contracts with arbitrarily many users to sequential programs with a few representative users. Each ...
Oct 17, 2021 · Our abstraction is semi-automated. The representatives depend on communication patterns, and are computed via static analysis. A summary for the ...
Compositional Verification of Smart Contracts Through Communication Abstraction · List of references · Publications that cite this publication.
In this paper, we present local bundles that reduce contracts with arbitrarily many users to sequential programs with a few representative users. Each ...
Missing: (Extended). | Show results with:(Extended).
Sep 14, 2024 · Compositional Verification of Smart Contracts Through Communication Abstraction (Extended). CoRR abs/2107.08583 (2021). [+][–]. 2010 – 2019.
People also ask
What is the smart contract verification process?
What are the 4 major parts of a smart contract?
What is abstract smart contract?
What are the four steps in executing a smart contract?
Sep 14, 2024 · Compositional Verification of Smart Contracts Through Communication Abstraction (Extended). CoRR abs/2107.08583 (2021). [+][–]. 2010 – 2019.