French president Jacques Chirac inaugurated today the new line of the parisian subway. There had been no new subway line in Paris since 1935.
This new driver-less métro utilizes the best technics available today. Software was formally specified (and proven) in B, and then fully coded in Ada.
So if you have a chance to come to Paris, use line 14; you'll be riding on Ada, as you would in Cairo, Calcutta or Athens.
----------------------------------------------------------------------------
J-P. Rosen ([log in to unmask])
Visit Adalog's web site at http://perso.wanadoo.fr/adalog