Looking for Missed Alarm Bugs in a Formal Verification Toolblog.regehr.org 29 pointsluu29 days ago1 commentSaveHideCopy link On HNComments−touisteur23dI wish John Regehr was more widely read. The constant grind that improving formal method tools is a somehow unrewarding but worthy calling.Missing runtime checks are a pain and I remember one that struck me as hard: https://www.adacore.com/blog/the-most-obscure-arithmetic-run...
Comments
I wish John Regehr was more widely read. The constant grind that improving formal method tools is a somehow unrewarding but worthy calling.
Missing runtime checks are a pain and I remember one that struck me as hard: https://www.adacore.com/blog/the-most-obscure-arithmetic-run...