Semi-Automated Assembly Verification in Python using pypcode Semantics (via asb) — discussion
#formalmethods
