Formally verifying security properties of CHERI processors (via david_chisnall) — discussion

#formalmethods #hardware #security