Georg Wrede wrote:
It'd be nice if some of them came to this NG.
will meet one of the leading guys this summer, let's see.
(FWIW, I'd sure prefer to fly with ADA or D, than with C.) :-)
So you better fly with Boeing !"ASTREE is a static analyzer for C programs that proves the absence of run-time errors in critical embedded software. It has been applied to the flight control software of the Airbus 340 and 380 airplanes. "
ASTREE is written in OCAML. // http://www.astree.ens.fr/ Björn
