[SystemSafety] Qualifying SW as "proven in use" [Measuring Software]

[Martyn Thomas]

Indeed. The program "abort" may be entirely safe in some environments
whilst not ever meeting any functional requirements.

Martyn

On 25/06/2013 20:13, C. Michael Holloway wrote:
> Coming up with an argument that supports the premise that it is possible
> for software to have many defects, but still be safe is trivial.