First (AdaCore) University Course on SPARK

by Yannick Moy in Language, Formal Verification, News, Papers and Slides – August 31, 2015

My colleagues Claire Dross and Martyn Pikes have put together a captivating course on SPARK, which starts by introducing the language and tools, and goes on with presenting all the techniques that you need to know to prove that a program is free of a number of errors and implements its spec. The full course will consist in five lectures, and the first one is now online: check it out! If you complete the interactive quizz without any error, let me know, as you'll have done better than me...

comments powered by Disqus