Ada:Spark 006 - Урок 3 - Целостность программы В этом уроке: Обзор принципов и целей проверки целостности программы с помощью инструментов и языка SPARK 2014. SPARK 2014 - это язык, основанный на Ada 2012, позволяющий проводить формальную проверку. В этом курсе будет описано подмножество языков вместе с инструментами и методами, позволяющими формально определять свойства и проверять их правильность.