Zellic's and V12's Work on x86 Binary Formal Verificationv12.sh2 points·drdrey··0 commentsOpen articleSaveView on HN