Category: news

A Subtle Rust Bug
A Subtle Rust Bug
by Dwight Guth
June 26th, 2019
Code smell: Boolean blindness
Code smell: Boolean blindness
by Thomas Tuegel
March 7th, 2019
Formal Verification of ERC20 Contracts
Formal Verification of ERC20 Contracts
by Brian Marick
August 15th, 2018
K Framework - An Overview
K Framework - An Overview
by Grigore Roșu
March 25th, 2018
RV-Match now supports inline assembly
RV-Match now supports inline assembly
by Dwight Guth
September 19th, 2017
K Developer Interviewed in Illinois Paper
K Developer Interviewed in Illinois Paper
by Brandon Moore
February 14th, 2017
RV Employee Analyzes the DAO Attack
RV Employee Analyzes the DAO Attack
by Grigore Roșu
June 18th, 2016