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