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

From: Martyn Thomas < >
Date: Tue, 25 Jun 2013 20:35:43 +0100

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


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.

The System Safety Mailing List
systemsafety_at_xxxxxx Received on Tue Jun 25 2013 - 21:35:56 CEST

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:05 CEST