Grigore Roșu

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

k-overview.png

K Framework - An Overview

iele-and-k-team.png

IOHK

IELE: A New Virtual Machine for the Blockchain

Ethereum

ERC20-K: Formal Executable Specification of ERC20

New Technologies for the Blockchain: IELE (virtual machine) and  K (universal language framework)

Let's Make the Ethereum Virtual Machine Better

award.png

ASE 2001 paper that helped shape the Runtime Verification field got the Most Influential Paper Award

tacas-2016.png

14% of SV-COMP's "Correct Programs" are Undefined!

philip.jpg

RV Employee Analyzes the DAO Attack

uiuc-magazine.png

RV Could Make Cars Safer - Article in UIUC's Click Magazine

Author: Grigore Roșu

Categories