Login
From:
Embedded in Academia
(Uncensored)
subscribe
Looking for Missed Alarm Bugs in a Formal Verification Tool
https://blog.regehr.org/archives/2124
links
backlinks
Roast topics
Find topics
Find it!
[This piece is co-authored with Vsevolod Livinskii.]
