שליחה במסרון: Verification by error modeling