HN
New
Show
Ask
Jobs
Built with Solid
Formally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020 [video]
(youtube.com)
6 points | by
todsacerdoti
20 hours ago ago
No comments yet.
No comments yet.