P Verified (via hwayne) — discussion

#distributed #formalmethods