--- layout: fc_discuss_archives title: Message 24 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



There's a Wikipedia article on ADA/SPARK: http://en.wikipedia.org/wiki/SPARK_(programming_language)
Unfortunately, the webistes for SPARK don't give any useful details. E.g., does it support first-order logic?

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.