Michael Barr of Netrino, has done us the unexpected honor of adding us to his newly redesigned Embedded Gurus site, check it out.
Posts
Looking for Missed Alarm Bugs in a Formal Verification Tool
-
[This piece is co-authored with Vsevolod Livinskii.] Formal verification
isn’t some sort of magic pixie dust that we sprinkle over a computer system
to mak...
8 months ago
No comments:
Post a Comment