Partner: IOHK

Categories

All ArticlesAuditsKERCxNewsSmart ContractsVerification
IELE: A New Virtual Machine for the Blockchain
IELE: A New Virtual Machine for the Blockchain
by Grigore Roșu
December 15th, 2017
Read MoreGrigore Roșu
New Technologies for the Blockchain: IELE (virtual machine) and K (universal language framework)
Read MoreGrigore Roșu
Let's Make the Ethereum Virtual Machine Better
Let's Make the Ethereum Virtual Machine Better
by Grigore Roșu
September 4th, 2017
Read MoreGrigore Roșu
WORK WITH US
Runtime Verification website hero

Company

Resources

Connect

Mission and VisionPresentationsCareersNewsPublicationsPartnershipsMedia Kit

Events