Author: Daejun Park

Formally Verifying Finality in Gasper: The Core of the Beacon Chain
Read MoreMusab Alturki
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
Read MoreDaejun Park
A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain
Read MoreMusab Alturki
How Formal Verification Could Help to Prevent Gridlock Bug
Read MoreDaejun Park
Formal Verification of Ethereum 2.0 Deposit Contract (Part I)
Read MoreDaejun Park
ERC777-K: Formal Executable Specification of ERC777
ERC777-K: Formal Executable Specification of ERC777
by Denis Bogdănaș
September 21st, 2018
Read MoreDenis Bogdănaș
Formal Verification of ERC20 Contracts
Formal Verification of ERC20 Contracts
by Brian Marick
August 15th, 2018
Read MoreBrian Marick
How Formal Verification of Smart Contracts Works
Read MoreBrian Marick