Etherumn - Githubissues

ChenfengWei0 / esbmc

The efficient SMT-based bounded model checker

http://esbmc.org/

Other

0 stars 1 forks source link

Etherumn #3

Open ChenfengWei0 opened 1 year ago

ChenfengWei0 commented 1 year ago

What is blockchain

A blockchain is a digitally distributed, decentralized, public ledger that exists across a network.
The blockchain makes sure that everybody’s copy stays in step with everybody else’s

ChenfengWei0 commented 1 year ago

What is Eherumn

A open source blockchain that support smart contract
so that the blockchain not only record things, but run codes.

ChenfengWei0 commented 1 year ago

Why ESBMC-Solidity (1)

ESBMC is a bounded model-checking tool focused on finding bugs in programs. However, it also implements the k-induction algorithm [5], an incremental algorithm that uses BMC in order to find both property violations and prove the correctness of programs