Re: Software's evil

But the properties one really wants to
verify are much more abstract, such as "does this piece of software
land my plane safely?".

It is enough if this piece of software lands the plane safely in 99.999%
of cases. There is no point for the further improvement if the insurance
premiums and the other possible losses are already lower then the cost
of the development and testing.

Relevant Pages

Re: Softwares evil...verify are much more abstract, such as "does this piece of software ...land my plane safely?". ... It is enough if this piece of software lands the plane safely in 99.999% of cases. ... for the first automatic teller machine....(comp.arch.embedded)

Re: Cirrus down, Chapel Hill NC... be how to decide when you've blown the landing and go around. ... It take time to know how to land a plane.... I'm currently a student pilot (only had 1st solo on ...(rec.aviation.piloting)

Re: Cirrus down, Chapel Hill NC... be how to decide when you've blown the landing and go around. ... It take time to know how to land a plane.... Fortunately, the CFI...(rec.aviation.piloting)

Re: Emergency and Discipline... Anyone want to hazard a guess at the major number of engine failure... If low, establish glide, secure engine, pick a spot ... and land, flaps 40 and full stall if possible. ... is hostile, decrease airspeed, point plane at best ...(rec.aviation.piloting)

Re: eDen Camp... The airfield was extended so that (disunforgot name of twin turboprop passenger plane) cud land there. ... The jet had a fire alarm warning, and was full of Norwegian soldiers on their way USA, so molished emergency landing at Stornoway and didn't quite dive into the sea when it came to rest. ... They had to airlift the soldiers off, strip all cargo, seats and other stuff from the plane and IIRC, take off with the aid of JATOs - and attendant massed ranks of fire service, dibblery and ambivalences. ...(uk.rec.sheds)