Formal Verification of Smart Contracts with the K Framework

Apriorit Inc, MikeSotnichek

15 Mar 2019CPOL13 min read

5.2K

We analyze the pros and cons of formal verification.

We're sorry, but the article you are trying to view was deleted at 7 Jun 2024.

Please go to the Blockchain Table of Contents to view the list of available articles in this section.

Go to top