ERCX token verifier logo
about
  • Company
  • Mission and Vision
  • News
  • Team
  • Careers
  • Publications
  • Presentations
  • Videos
  • FAQ
products
  • Embedded Systems
  • ERCx
  • Firefly
  • K
  • KaaS
  • Kasmer
  • Kontrol
  • π²
  • Simbolik
solutions
  • Blockchain Advisory Services
  • Smart Contract Verification
  • Smart Contract Analysis
  • NFT Checker
  • Protocol Verification
  • Formal Design and Modeling
  • The IELE Virtual Machine
  • Partnerships
    • Partnerships
    • Algorand
    • Urbit
research
events
  • Arepas, Cumbia and Security
  • Formal Verification in the Ethereum Ecosystem
  • RV/ILDS Blockchain Workshop - Bucharest Mach 2023
  • Working Workshops - Bucharest October 2023
contact
  • Contact Us
  • Media Kit
blog
  • All
  • Categories
    • Audits
    • K
    • ERCx
    • News
    • Smart Contracts
    • Software Development
    • Verification
    • RV-Match
    • RV-Monitor
    • RV-Predict
  • Partners
    • Algorand
    • Cosmos
    • MultiversX
    • Ethereum
    • IOHK
    • PlatON
    • Tezos

Category: RV-Monitor

Runtime Verification Launches a Registered Algorand Relay Node
Runtime Verification Launches a Registered Algorand Relay Node
by Musab Alturki
August 22nd, 2023
Read MoreMusab Alturki
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
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