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

#formalmethods