nixp.ru v3.0

14 декабря 2017,
четверг,
18:09:33 MSK

DevOps с компанией «Флант»
10 июня 2009, 16:30

Набор утилит SPARK теперь доступен под GNU GPL

Компания AdaCore объявила о выпуске свободной версии своего набора инструментов для верификации программного обеспечения — SPARK GPL Edition.

Свободная редакция SPARK, GPL Edition, состоит из нескольких компонентов: определение языка SPARK, полный набор утилит SPARK Toolset (в него входят Examiner, Simplifier и Checker), вспомогательные инструменты (SPARKSimp, SPARKMake, SPARKFormat и POGS). Кроме того, учебные пособия по SPARK и SPARK Pro включены в состав сопутствующего релиза пакета Tokeneer Discovery.

Язык программирования SPARK основан на Ada и призван способствовать разработке хорошо интегрированного ПО, используемого в приложений и системах, где ключевая роль отводится предсказуемости и высокой надежности каждой выполняемой операции.

Постоянная ссылка к новости: https://www.nixp.ru/news/9757.html. Дмитрий Шурупов по материалам libre.adacore.com.

fb twitter vk
ecobeingecobeing.ru
Экология и вегетарианство на благо всем живым существам Планеты.