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