RSS BotMB to Lobste.rsEnglish · 16 days agoFormally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020www.youtube.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10file-text
arrow-up11arrow-down1external-linkFormally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020www.youtube.comRSS BotMB to Lobste.rsEnglish · 16 days agomessage-square0fedilinkfile-text