Videos logo Videos

We’ve been asked many questions. This page has a few of the answers. If you would like to interview people on our Team, please use the form.


Privacy and Security in DeFi

Whiteboard Series with NEAR | Ep: 39 Rikard Hjort from Runtime Verification

DefiSummer hackathon | K Framework for DeFi Projects

0xHack | K Framework for Smart Contract Formal Verification

Hello Decentralization // 22nd - 26th February, 2021 - Crowdcast

Nomadic Labs Research Seminars #8 | Bringing K Powered Blockchain Security to Tezos

Hello Smart Audit 2021 | K Powered Blockchain Security

TruffleCon 2020 | Everett Hildenbrandt | Firefly: Smart Contract Quality Assurance

TruffleCon 2020 | Everett Hildenbrandt | How to use Firefly to enhance your Truffle test suite

CPP 2020 New Orleans Keynote | Matching Logic: The Foundation of
                  the K Framework

CPP 2020 New Orleans Keynote | Matching Logic: The Foundation of the K Framework

Rikard Hjort | Formal Verification and Smart Contracts

Rikard Hjort | Formal Verification and Smart Contracts

CPH FinTech Week 2019 Keynote | Formal Design, Implementation and
                  Verification of Blockchain Languages

CPH FinTech Week 2019 Keynote | Formal Design, Implementation and Verification of Blockchain Languages

CPH FinTech Week 2019 Panel | From Blockchain Infrastructure to
                  Decentralised Applications

CPH FinTech Week 2019 Panel | From Blockchain Infrastructure to Decentralised Applications

Prof. Grigore Rosu | IEEE ICBC Seoul 2019 Keynote

Prof. Grigore Rosu | Inspirations Behind The K framework

Microsoft Research 2019 | Prof. Grigore Rosu - CEO of Runtime Verification

Microsoft Research 2016 | Prof. Grigore Rosu - CEO of Runtime Verification

IOHK | Formal Design, Implementation and Verification | Prof. Grigore Rosu - CEO of Runtime Verification

IOHK | K framework and Cardano | Prof. Grigore Rosu - CEO of Runtime Verification

IOHK | Semantics Based Compilation - IELE Testnet | Prof. Grigore Rosu - CEO of Runtime Verification

IOHK | Runtime Verification | Prof. Grigore Rosu - CEO of Runtime Verification

Webcast with Prof. Grigore Rosu - CEO of Runtime Verification

Webcast: The K framework - a framework to formally define all programming languages

IOHK | KEVM Presentation | Everett Hildenbrandt - Formal Modelling Engineer at Runtime Verification

An introduction to K Lab (developed by DappHub) | Everett Hildenbrandt - Formal Modelling Engineer at Runtime Verification

What is IELE? | Grigore Rosu - CEO Runtime Verification Inc.

What is KEVM? | Grigore Rosu - CEO Runtime Verification Inc.

K for KEVM and IELE | Grigore Rosu - CEO Runtime Verification Inc.

KEVM and IELE performance | Grigore Rosu - CEO Runtime Verification Inc.

Writing and reading IELE programs | Grigore Rosu - CEO Runtime Verification Inc.

Supported features in the Solidity to IELE compiler | Grigore Rosu - CEO Runtime Verification Inc.

Secure code on Solidity to IELE compiler | Grigore Rosu - CEO Runtime Verification Inc.

The role of KEVM and IELE testnets | Grigore Rosu - CEO Runtime Verification Inc.

company mission and vision news team careers publications presentations videos faq Embedded Systems Blockhain Advisory Services Smart Contract Verification Protocol Verification Formal Design and Modeling The IELE Virtual Machine Partnerships contact media kit blog