[SystemSafety] A small taste of what we're up against

[Roderick Chapman]

On 25/10/2018 09:18, Coq, Thierry wrote:

> I wish too we were not constrained by all the confidentiality agreements and proprietary information
To make maters worse, some tool vendors are placing so-called "DeWitt 
clauses" in their licence agreements that actively prevent publication 
of data regarding the performance (or otherwise) of their tools...

See https://blog.regehr.org/archives/1217 for a notable example...

See https://en.wikipedia.org/wiki/David_DeWitt for an explanation of the 
name...
  - Rod