Synapse
⌘+K
Synapse
PulseExploreClubsResearchersJournals
Instagram
HomeClubsExplore
October 24, 2016Open Access

Formal Verification of Smart Contracts

View Full Paper
Ask AI
Bookmark
Share

Authors

KBKarthikeyan BhargavanInstitut national de recherche en sciences et technologies du numériqueADAntoine Delignat-LavaudMicrosoft (United Kingdom)CFCédric FournetMicrosoft (United Kingdom)

Discussion

Loading...

Member takes

Implication

Key Points

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

Cite This Study

Bhargavan et al. (2016) studied this question.

synapsesocial.com/papers/6a0efaada14f152feafa1a86https://doi.org/10.1145/2993600.2993611
View Full Paper
Ask AI
Bookmark
Share

Also Consider

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

  1. 1Making Smart Contracts Smarter2016 · 2,291 citations
  2. 2Probabilistic relational verification for cryptographic implementations2014 · 88 citations
  3. 3Gradual typing embedded securely in JavaScript2014 · 62 citations
  4. 4Dependent types and multi-monadic effects in F*2016 · 313 citations