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-match

RV-Match now supports inline assembly
RV-Match now supports inline assembly
by Dwight Guth
September 19th, 2017
Read MoreDwight Guth
Undefined Behavior Review: tis-interpreter vs. RV-Match
Undefined Behavior Review: tis-interpreter vs. RV-Match
by Brandon Moore
August 4th, 2017
Read MoreBrandon Moore
Experienced C Developers Can Still Misunderstand Simple Language Concepts
Experienced C Developers Can Still Misunderstand Simple Language Concepts
by Dwight Guth
May 22nd, 2017
Read MoreDwight Guth
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
Using RV-Predict to track down race conditions
Using RV-Predict to track down race conditions
by Dwight Guth
July 2nd, 2015
Read MoreDwight Guth
"restrict" keyword in header files
"restrict" keyword in header files
by Dwight Guth
May 20th, 2015
Read MoreDwight Guth
Undefined C: Common mistakes
Undefined C: Common mistakes
by Dwight Guth
April 10th, 2015
Read MoreDwight Guth
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