Click here to Skip to main content
15,113,531 members
Articles / Security / Blockchain

Stats

2.5K views

Formal Verification of Smart Contracts with the K Framework

,
Rate me:
Please Sign up or sign in to vote.
0.00/5 (No votes)
15 Mar 2019CPOL13 min read
We analyze the pros and cons of formal verification.

Views

License

This article, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)

Share

About the Authors

Apriorit Inc
Chief Technology Officer Apriorit Inc.
United States United States
ApriorIT is a software research and development company specializing in cybersecurity and data management technology engineering. We work for a broad range of clients from Fortune 500 technology leaders to small innovative startups building unique solutions.

As Apriorit offers integrated research&development services for the software projects in such areas as endpoint security, network security, data security, embedded Systems, and virtualization, we have strong kernel and driver development skills, huge system programming expertise, and are reals fans of research projects.

Our specialty is reverse engineering, we apply it for security testing and security-related projects.

A separate department of Apriorit works on large-scale business SaaS solutions, handling tasks from business analysis, data architecture design, and web development to performance optimization and DevOps.

Official site: https://www.apriorit.com
Clutch profile: https://clutch.co/profile/apriorit
Group type: Organisation

33 members


MikeSotnichek
Apriorit
Ukraine Ukraine
No Biography provided

Comments and Discussions