--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on November 2009 ---
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.