Synapse
⌘+K
Synapse
PulseExploreClubsResearchersJournals
Instagram
HomeClubsExplore
November 11, 2022

Formal Methods for the Verification of Smart Contracts: A Review

View Full Paper
Ask AI
Bookmark
Share

Authors

MKMoez KrichenUniversity of SfaxMLMariam LahamiUniversity of SfaxQAQasem Abu Al‐HaijaPrincess Sumaya University for Technology

Discussion

Loading...

Member takes

Implication

Key Points

Key points are not available for this paper at this time.

Cite This Study

Krichen et al. (2022) studied this question.

synapsesocial.com/papers/6a1da1cc7328fa9a742fc917https://doi.org/10.1109/sin56466.2022.9970534
View Full Paper
Ask AI
Bookmark
Share

Also Consider

Synapse has enriched 3 closely related papers on similar clinical questions. Consider them for comparative context:

  1. 1Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models2018 · 178 citations
  2. 2Blockchain Support for Collaborative Business Processes2019 · 98 citations
  3. 3On the specification and verification of atomic swap smart contracts2018 · 12 citations