Author: Dwight Guth

Categories

All ArticlesAuditsKERCxNewsSmart ContractsVerification
A Subtle Rust Bug
A Subtle Rust Bug
by Dwight Guth
June 26th, 2019
Read MoreDwight Guth
RV-Match now supports inline assembly
RV-Match now supports inline assembly
by Dwight Guth
September 19th, 2017
Read MoreDwight Guth
Experienced C Developers Can Still Misunderstand Simple Language Concepts
Read MoreDwight Guth
Using RV-Predict to track down race conditions
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
Audits by formal methods experts.
Mission and VisionPresentationsCareersNewsPublicationsPartnershipsMedia KitEvents