форумы  помощь  поиск  регистрация  майллист  вход/выход  слежка

Вариант для распечатки		Пред. тема | След. тема
Форумы Разговоры, обсуждение новостей (Public)
Изначальное сообщение		[ Отслеживать ]

"Вышла GPL-версия инструментария SPARK"		+/–
Сообщение от opennews on 09-Июн-09, 07:30
SPARK, инструментарий статической верификации, гарантирующий безопасность и защищённость, теперь лицензирован на условиях GPL (http://libre.adacore.com/libre/tools/spark-gpl-edition/). Благодаря этому теперь и Tokeneer (http://www.openproofs.org/wiki/Tokeneer), проект, где используются формальные методы для математической верификации биометрической системы безопасности, становится "open proof (http://www.openproofs.org/wiki/Main_Page)". Это в свою очередь означает, что весь инструментарий, необходимый для верификации Tokeneer, отныне будет доступным в рамках открытых технологий. В GPL-релиз SPARK входят следующие технологии: - Описание языка SPARK - Полный инcтрументарий SPARK, включая Examiner, Simplifier и Checker - Вспомогательные инструменты: SPARKSimp, SPARKMake, SPARKFormat и POGS - Вводные учебные материалы по SPARK и SPARK Pro, с примерами из Tokeneer, включены в сопроводительный релиз пакета Tokeneer Discovery (http://www.adacore.com/home/products/sparkpro/tokeneer/di... URL: http://www.dwheeler.com/blog/2009/06/05/#spark-open-source Новость: https://www.opennet.ru/opennews/art.shtml?num=22070
Высказать мнение | Ответить | Правка | Cообщить модератору

Сообщения по теме

[Сортировка по времени | RSS]

1. "Вышла GPL-версия инструментария SPARK"		–1 +/–
Сообщение от ffsdmad on 09-Июн-09, 07:30
Звучит как приговор
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

2. "Вышла GPL-версия инструментария SPARK"		+2 +/–
Сообщение от relok on 09-Июн-09, 08:22
Что это вообще такое? Что за верификатор?
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	3. "Вышла GPL-версия инструментария SPARK"		+/–
	Сообщение от XoRe (ok) on 09-Июн-09, 10:15
	>Что это вообще такое? Что за верификатор? Верификатор - проверятель истинности (правильности). http://ru.wikipedia.org/wiki/%D0%92%D0%B...
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	4. "Вышла GPL-версия инструментария SPARK"		+/–
	Сообщение от Aleksey (??) on 09-Июн-09, 11:22
	То бишь для людей от которых требуют 100% гарантию правильности работы программы
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	5. "Вышла GPL-версия инструментария SPARK"		+1 +/–
	Сообщение от zhus (ok) on 09-Июн-09, 12:27
	Ага, не забыть только критерии правильностьи верифицировать для начала. На 100%. А  перед этим верифицировать критерии оценки критериев :))
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	6. "Вышла GPL-версия инструментария SPARK"		+/–
	Сообщение от Ivan (??) on 09-Июн-09, 13:08
	Помню была то ли теорема толи что о том, что программ без ошибок не может существовать. Вот и IMHO гарантировать 100% правильность значит заведомо врать.
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	7. "Вышла GPL-версия инструментария SPARK"		+/–
	Сообщение от aborland on 09-Июн-09, 14:21
	Не 100% Правильности а 100% соответствия формальным критериям
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	8. "Вышла GPL-версия инструментария SPARK"		+/–
	Сообщение от Aleksey (??) on 09-Июн-09, 14:23
	Такой теоремы не может быть в принципе.
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	9. "Вышла GPL-версия инструментария SPARK"		+/–
	Сообщение от darkk on 10-Июн-09, 05:59
	Вы путаете теорему и гипотезу. «Гипотеза», как бы научно и серьезно это слово не звучало, не является доказанной и, соответственно, верной.
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить	Индекс форумов | Темы | Пред. тема | След. тема
Оцените тред (1=ужас, 5=супер)? [ 1 | 2 | 3 | 4 | 5 ] [Рекомендовать для помещения в FAQ]