--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on November 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C vs Ada/SPARK



> Apart from that, why do some many companies use C instead of Ada
> for embedded programming?
> I've read that even the aviation and military industry moved back to C.

I have heard availability of tools and engineers cited as reasons for this
shift. C has benefited from being used as a general purpose language
for Unix and variants, which themselves have done well overall over
the last couple of decades. 

Note that I am trying not to express any opinion on the fitness
of one language or another for either general purpose programming
or embedded programming.

Pascal