A MISRA-C Developer’s Introduction to Program Proving in SPARK — Embedded World 2019

Presented by Yannick Moy at Embedded World 2019

[tullochgorum]

Just getting into ADA - the most underrated major language of all, I think. With AdaCore now offering a community edition, it's much more accessible than it was. There's also a GNU compiler, and AdaCore have open sourced a Language Engine that will work in other editors so you can take the OS route if you prefer. SPARK has huge potential to improve quality and cut down the need for tedious and expensive unit testing. I'd encourage C programmers to check it out.

[JMiskovsky]

If MISRA C has error in specification then whole angle of looking at the problem is wrong.