[SystemSafety] Software reliability (or whatever you would prefer to call it)

[Peter Bernard Ladkin]

On 2015-03-10 09:24 , Nick Tudor wrote:
> ..... it is trying use some maths incorrectly to justify an observed
> behaviour of a system not solely the software.  

The standard resolution of questions as to whether math is correctly or incorrectly used is to
provide a proof or a counterexample. So I asked Nick to do that. He has declined.

I don't think anyone would imagine I find that at all surprising :-)

PBL

Prof. Peter Bernard Ladkin, Faculty of Technology, University of Bielefeld, 33594 Bielefeld, Germany
Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs.uni-bielefeld.de