Набор утилит 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 и призван способствовать разработке хорошо интегрированного ПО, используемого в приложений и системах, где ключевая роль отводится предсказуемости и высокой надежности каждой выполняемой операции.
Постоянная ссылка к новости: http://www.nixp.ru/news/9757.html. Дмитрий Шурупов по материалам libre.adacore.com.
Обнародован план разработки лицензии GNU GPL 3
Лицензия GNU GPL 3 может закрыть web-лазейку
OpenOffice.org полностью переходит на GNU LGPL
Sun критикует открытую лицензию GNU GPL
Motorola, Acer и другие нарушают лицензию GNU GPL
Реформа лицензии GNU GPL идет неспешно
Последние комментарии
- OlegL, 17 декабря в 15:00 → Перекличка 21
- REDkiy, 8 июня 2023 года в 9:09 → Как «замокать» файл для юниттеста в Python? 2
- fhunter, 29 ноября 2022 года в 2:09 → Проблема с NO_PUBKEY: как получить GPG-ключ и добавить его в базу apt? 6
- Иванн, 9 апреля 2022 года в 8:31 → Ассоциация РАСПО провела первое учредительное собрание 1
- Kiri11.ADV1, 7 марта 2021 года в 12:01 → Логи catalina.out в TomCat 9 в формате JSON 1