Author: Musab Alturki

Runtime Verification Launches a Registered Algorand Relay Node
Read MoreMusab Alturki
Runtime Verification and Algorand announce a new engagement to build formal tools for Algorand’s smart contract ecosystem
Read MoreMusab Alturki
Formally Verifying Finality in Gasper: The Core of the Beacon Chain
Read MoreMusab Alturki
K vs. Coq as Language Verification Frameworks (Part 1 of 3)
Read MoreMusab Alturki
K vs. Coq as Language Verification Frameworks (Part 2 of 3)
Read MoreMusab Alturki
K vs. Coq as Language Verification Frameworks (Part 3 of 3)
Read MoreMusab Alturki
A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain
Read MoreMusab Alturki
Formally Verifying Algorand: Reinforcing a Chain of Steel (Modeling and Safety)
Read MoreMusab Alturki