Musab Alturki

Yale Vinson

We are thrilled to announce that Runtime Verification has launched a new registered Algorand relay node, contributing to the operation of Algorand’s network

relay node .png

Algorand

Runtime Verification Launches a Registered Algorand Relay Node

Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.

rv-and-algorand-2.png

Runtime Verification and Algorand announce a new engagement to build formal tools for Algorand’s smart contract ecosystem

Elaine Li

Daejun Park

rv-and-eth-4.png

Ethereum

Formally Verifying Finality in Gasper: The Core of the Beacon Chain

Brandon Moore

k-vs-coq.png

K vs. Coq as Language Verification Frameworks (Part 1 of 3)

k-vs-coq-2.png

K vs. Coq as Language Verification Frameworks (Part 2 of 3)

k-vs-coq-3.png

K vs. Coq as Language Verification Frameworks (Part 3 of 3)

Denis Bogdănaș

Chris Hathhorn

rv-and-eth-2.png

A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain

Karl Palmskog

Lucas Pena

rv-and-algorand.png

Formally Verifying Algorand: Reinforcing a Chain of Steel (Modeling and Safety)

Author: Musab Alturki

Categories