Stephen Skeirik

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

rv-and-tezos.png

Tezos

K-Michelson: a Case Study on Formal, Executable Language Specification (Part 2)

K-Michelson: a Case Study on Formal, Executable Language Specification (Part 1)

Formal Verification Framework for Michelson

rv-2.png

Formal Verification 101 for Blockchain Systems and Smart Contracts: Formalizing Requirements

rv-1.png

Formal Verification 101 for Blockchain Systems and Smart Contracts

Author: Stephen Skeirik