Author: Musab Alturki
![Runtime Verification Launches a Registered Algorand Relay Node](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Falgorand_60718be2e8.png&w=640&q=75)
![Runtime Verification and Algorand announce a new engagement to build formal tools for Algorand’s smart contract ecosystem](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Falgorand_60718be2e8.png&w=640&q=75)
Runtime Verification and Algorand announce a new engagement to build formal tools for Algorand’s smart contract ecosystem
by Musab Alturki
July 28th, 2020![Formally Verifying Finality in Gasper: The Core of the Beacon Chain](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fethereum_logo_landscape_purple_d0e9145e6f.png&w=640&q=75)
![K vs. Coq as Language Verification Frameworks (Part 1 of 3)](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
![K vs. Coq as Language Verification Frameworks (Part 2 of 3)](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
![K vs. Coq as Language Verification Frameworks (Part 3 of 3)](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
![A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fethereum_logo_landscape_purple_d0e9145e6f.png&w=640&q=75)
A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain
by Musab Alturki
October 22nd, 2019![Formally Verifying Algorand: Reinforcing a Chain of Steel (Modeling and Safety)](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Falgorand_60718be2e8.png&w=640&q=75)
Formally Verifying Algorand: Reinforcing a Chain of Steel (Modeling and Safety)
by Musab Alturki
June 18th, 2019