ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2002.02710
  4. Cited By
Formalising and verifying smart contracts with Solidifier: a bounded
  model checker for Solidity

Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity

7 February 2020
P. Antonino
A. W. Roscoe
ArXivPDFHTML

Papers citing "Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity"

1 / 1 papers shown
Title
Pre-deployment Analysis of Smart Contracts -- A Survey
Pre-deployment Analysis of Smart Contracts -- A Survey
Sundas Munir
Walid M. Taha
33
12
0
15 Jan 2023
1