Formally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020 (via sergeyb) — discussion

#c #formalmethods #video