ERCX token verifier logo
about
  • Company
  • Mission and Vision
  • News
  • Team
  • Careers
  • Publications
  • Presentations
  • Videos
  • FAQ
products
  • K
  • Firefly
  • ERCx
  • Embdded Systems
solutions
  • Blockchain Advisory Services
  • Smart Contract Verification
  • Smart Contract Analysis
  • NFT Checker
  • Protocol Verification
  • Formal Design and Modeling
  • The IELE Virtual Machine
  • Partnerships
  • Algorand
research
events
  • Formal Verification in the Ethereum Ecosystem
  • Arepas, Cumbia and Security
contact
  • Contact Us
  • Media Kit
blog
  • All
  • Categories
    • Audits
    • K
    • News
    • Smart Contracts
    • Verification
    • RV-Match
    • RV-Monitor
    • RV-Predict
  • Partners
    • Algorand
    • Cosmos
    • Elrond
    • Ethereum
    • IOHK
    • PlatON
    • Tezos

Partner: IOHK

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)
New Technologies for the Blockchain: IELE (virtual machine) and K (universal language framework)
by Grigore Roșu
October 25th, 2017
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
Runtime Verification logo

333 North Green Street, Chicago, IL

2023 © all rights reserved | privacy policy | terms of use

GitHub logoDiscord logoTelegram logoTwitter logoMedium logoYouTube logoFacebook logoLinkedin logo