Announcing Zellic's and V12's Work on x86 Binary Formal Verification
A machine-checked proof that covers the behavior of a Linux process executing a statically linked x86 glibc binary end to end
Posts tagged #FV.
-
Malte Leip, V12 #FV
A machine-checked proof that covers the behavior of a Linux process executing a statically linked x86 glibc binary end to end