Skip to main content

One post tagged with "FV"

View All Tags
Malte Leip
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