Rule 1.3 - What do people do to check this rule?

[Steve Montgomery]

My personal approach is, in accordance with the Compliance guidance, to base coverage on the tool I'm using... this doesn't necessarily require manual checks, unless the tool's coverage is incomplete.

That sounds fine but I think the point being made by the previous poster is that in practice no tool does provide complete coverage because:

• some behaviours are undecidable;
  
• most (all?) tools don't implement checks for every decidable behaviour.

Therefore manual review is unavoidable.

I'd agree with that view.