Posts by Denis Bogdănaș
A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain
By Musab AlturkiOctober 22nd, 2019
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
ERC777-K: Formal Executable Specification of ERC777
By Denis BogdănașSeptember 21st, 2018
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
