Author: Stephen Skeirik

K-Michelson: a Case Study on Formal, Executable Language Specification (Part 2)
by Runtime Verification
December 11th, 2020
K-Michelson: a Case Study on Formal, Executable Language Specification (Part 1)
by Runtime Verification
November 2nd, 2020
Formal Verification 101 for Blockchain Systems and Smart Contracts: Formalizing Requirements
by Runtime Verification
March 10th, 2020
Formal Verification 101 for Blockchain Systems and Smart Contracts
by Runtime Verification
February 18th, 2020