Formally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020 [video] (youtube.com)
Verification, Software, Programming, QEMU, Frama-C
9 points by todsacerdoti 45 days ago | 0 comments