Open main menu
about
Company
Mission and Vision
News
Team
Careers
Publications
Presentations
Videos
FAQ
products
K
Firefly
ERCx
Embedded Systems
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
Formal Verification in the Ethereum Ecosystem
Arepas, Cumbia and Security
contact
Contact Us
Media Kit
blog
All
Categories
Audits
K
News
Smart Contracts
Software Development
Verification
RV-Match
RV-Monitor
RV-Predict
Partners
Algorand
Cosmos
Elrond
Ethereum
IOHK
PlatON
Tezos
Category: RV-Match
RV-Match now supports inline assembly
by
Dwight Guth
September 19th, 2017
Read More
Undefined Behavior Review: tis-interpreter vs. RV-Match
by
Brandon Moore
August 4th, 2017
Read More
Experienced C Developers Can Still Misunderstand Simple Language Concepts
by
Dwight Guth
May 22nd, 2017
Read More
14% of SV-COMP's "Correct Programs" are Undefined!
by
Grigore Roșu
September 18th, 2016
Read More
Using RV-Predict to track down race conditions
by
Dwight Guth
July 2nd, 2015
Read More
"restrict" keyword in header files
by
Dwight Guth
May 20th, 2015
Read More
Undefined C: Common mistakes
by
Dwight Guth
April 10th, 2015
Read More