Ghidra + CBMC = Assembly Model Checker (via asb) — discussion

#formalmethods