krlzi Sep 5 2024 at 09:31

Formal verification of smart contracts in the ConCert framework

Medium

11 min

2.9K

Positive Technologies corporate blogInformation Security * Functional Programming * Solidity * Cryptocurrencies

Tutorial

+5

Comments

There are no comments yet, you can be the first one!

Sign up to leave a comment.

Information

Website: www.ptsecurity.com

Registered: March 28 2011

Founded: 2002

Employees: 1,001–5,000 employees

Location: Россия

Your account

Log in
Sign up

Sections

Articles
News
Hubs
Authors
Sandbox

Information

How it works
For authors
For companies
Documents
Agreement
Confidential

Services

Corporate blogs
Advertising
Native advertising
Education programs
Startups

SupportOn this platform we use recommendation systems

© 2006–2026, Habr