A Survey of Smart Contract Formal Specification and Verification

Title
A Survey of Smart Contract Formal Specification and Verification
Authors
Keywords
-
Journal
ACM COMPUTING SURVEYS
Volume 54, Issue 7, Pages 1-38
Publisher
Association for Computing Machinery (ACM)
Online
2021-07-19
DOI
10.1145/3464421

Ask authors/readers for more resources

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now

Ask a Question. Answer a Question.

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started