SolCMC: Solidity Compiler's Model Checker

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F22%3A10455351" target="_blank" >RIV/00216208:11320/22:10455351 - isvavai.cz</a>

Result on the web

<a href="https://doi.org/10.1007/978-3-031-13185-1_16" target="_blank" >https://doi.org/10.1007/978-3-031-13185-1_16</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-031-13185-1_16" target="_blank" >10.1007/978-3-031-13185-1_16</a>

Result language

angličtina

Original language name

SolCMC: Solidity Compiler's Model Checker

Original language description

Formally verifying smart contracts is important due to their immutable nature, usual open source licenses, and high financial incentives for exploits. Since 2019 the Ethereum Foundation&apos;s Solidity compiler ships with a model checker. The checker, called SolCMC, has two different reasoning engines and tracks closely the development of the Solidity language. We describe SolCMC&apos;s architecture and use from the perspective of developers of both smart contracts and tools for software verification, and show how to analyze nontrivial properties of real life contracts in a fully automated manner.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/GA20-07487S" target="_blank" >GA20-07487S: Scalable Techniques for Analysis of Complex Properties of Computer Systems</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2022

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

COMPUTER AIDED VERIFICATION (CAV 2022), PT I

ISBN

978-3-031-13184-4

ISSN

0302-9743

e-ISSN

1611-3349

Number of pages

14

Pages from-to

325-338

Publisher name

SPRINGER INTERNATIONAL PUBLISHING AG

Place of publication

CHAM

Event location

Haifa

Event date

Aug 7, 2022

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000870304500016