Category: k


Runtime Verification Raises $5.3 Million to Advance Blockchain Security
by Runtime Verification
June 18th, 2021
MultiversX (formerly Elrond) gets new secure dev tooling and a formal semantics
by Rikard Hjort
January 5th, 2021
K-Michelson: a Case Study on Formal, Executable Language Specification (Part 2)
by Stephen Skeirik
December 11th, 2020
K-Michelson: a Case Study on Formal, Executable Language Specification (Part 1)
by Stephen Skeirik
November 2nd, 2020
Runtime Verification and Algorand announce a new engagement to build formal tools for Algorand’s smart contract ecosystem
by Musab Alturki
July 28th, 2020

KWasm and KEwasm: executable semantics and formal verification tools for Ethereum 2.0
by Rikard Hjort
March 26th, 2020
Formal Verification 101 for Blockchain Systems and Smart Contracts: Formalizing Requirements
by Stephen Skeirik
March 10th, 2020
Formal Verification 101 for Blockchain Systems and Smart Contracts
by Stephen Skeirik
February 18th, 2020
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
by Daejun Park
January 20th, 2020



A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain
by Musab Alturki
October 22nd, 2019


New Technologies for the Blockchain: IELE (virtual machine) and K (universal language framework)
by Grigore Roșu
October 25th, 2017