Re:Ask HN: What are some good resources to learn safety-crit...
by suprjami on Friday August 05, 2022 @04:04PM
(#32361302)
This is a great reply. I'd never considered that part of this field was reverse engineering your own program to confirm the compiler actually emits what you asked it to.
[ Parent
| on HN ]
There are no comments on this comment yet.