> A quick search on METEOR Ada on http://www.google.com gives:
> It gives some insight on how the thing was formally validated. There
> is the email of an RATP guy in the French version.
Yes, this is an interesting article and does mention Ada as the code-
level language generated by B.
Here's a pointer to a nice article (in English) on "Atelier B"
It is mentioned here that code generators are available for Ada and C.