formal verification of smart contracts #9

Open

opened

on Nov 14, 2022

Surveys:

A Survey of Smart Contract Formal Specification and Verification. ACM Comput. Surv. 2022

Awesome:

https://github.com/leonardoalt/ethereum_formal_verification_overview

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests