ERCX token verifier logo
about
  • Company
  • Mission and Vision
  • News
  • Team
  • Careers
  • Publications
  • Presentations
  • Videos
  • FAQ
products
  • K
  • Firefly
  • ERCx
  • Embedded Systems
solutions
  • Blockchain Advisory Services
  • Smart Contract Verification
  • Smart Contract Analysis
  • NFT Checker
  • Protocol Verification
  • Formal Design and Modeling
  • The IELE Virtual Machine
  • Partnerships
    • Partnerships
    • Algorand
    • Urbit
research
events
  • Formal Verification in the Ethereum Ecosystem
  • Arepas, Cumbia and Security
contact
  • Contact Us
  • Media Kit
blog
  • All
  • Categories
    • Audits
    • K
    • News
    • Smart Contracts
    • Software Development
    • Verification
    • RV-Match
    • RV-Monitor
    • RV-Predict
  • Partners
    • Algorand
    • Cosmos
    • Elrond
    • Ethereum
    • IOHK
    • PlatON
    • Tezos

Author: Daejun Park

Formally Verifying Finality in Gasper: The Core of the Beacon Chain
Formally Verifying Finality in Gasper: The Core of the Beacon Chain
by Musab Alturki
July 15th, 2020
Read MoreMusab Alturki
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
by Daejun Park
January 20th, 2020
Read MoreDaejun Park
A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain
A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain
by Musab Alturki
October 22nd, 2019
Read MoreMusab Alturki
How Formal Verification Could Help to Prevent Gridlock Bug
How Formal Verification Could Help to Prevent Gridlock Bug
by Daejun Park
July 11th, 2019
Read MoreDaejun Park
Formal Verification of Ethereum 2.0 Deposit Contract (Part I)
Formal Verification of Ethereum 2.0 Deposit Contract (Part I)
by Daejun Park
June 12th, 2019
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
How Formal Verification of Smart Contracts Works
by Brian Marick
July 20th, 2018
Read MoreBrian Marick
Runtime Verification logo

333 North Green Street, Chicago, IL

2023 © all rights reserved | privacy policy | terms of use

GitHub logoDiscord logoTelegram logoTwitter logoMedium logoYouTube logoFacebook logoLinkedin logo