Runtime VerificationTake Kontrol of your code and formally verify with Runtime VerificationTake Kontrol of your code and formally verify with Runtime VerificationWeb interface & Compute power for formal verification proofs
about
  • Company
  • Team
  • Videos
  • FAQ
services
  • Formal Verification
  • Smart Contract Auditing
  • Ecosystem Security
  • Security Consulting
products
  • ERCx
  • K
  • KaaS
  • Kasmer
  • Kontrol
  • Simbolik
research
blog
CONTACT US

Author: Grigore Roșu

Categories

All ArticlesAuditsKERCxNewsSmart ContractsVerification
K Framework - An Overview
K Framework - An Overview
by Grigore Roșu
March 25th, 2018
Read MoreGrigore Roșu
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
ERC20-K: Formal Executable Specification of ERC20
ERC20-K: Formal Executable Specification of ERC20
by Grigore Roșu
December 6th, 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
ASE 2001 paper that helped shape the Runtime Verification field got the Most Influential Paper Award
ASE 2001 paper that helped shape the Runtime Verification field got the Most Influential Paper Award
by Grigore Roșu
October 30th, 2016
Read MoreGrigore Roșu
14% of SV-COMP's "Correct Programs" are Undefined!
14% of SV-COMP's "Correct Programs" are Undefined!
by Grigore Roșu
September 18th, 2016
Read MoreGrigore Roșu
RV Employee Analyzes the DAO Attack
RV Employee Analyzes the DAO Attack
by Grigore Roșu
June 18th, 2016
Read MoreGrigore Roșu
RV Could Make Cars Safer - Article in UIUC's Click Magazine
RV Could Make Cars Safer - Article in UIUC's Click Magazine
by Grigore Roșu
December 21st, 2015
Read MoreGrigore Roșu
Audits by formal methods experts.
Mission and VisionPresentationsCareersNewsPublicationsPartnershipsMedia KitEvents
Runtime Verification logo

202 S Broadway Ave #31, Urbana, IL

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

GitHub logoDiscord logoTelegram logoTwitter logoMedium logoYouTube logoFacebook logoLinkedin logoCryptoJobsList logo