https://opennet.ru/openforum/vsluhforumID3/55609.html 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, отныне будет доступным в рамках открытых технологий. <br>В GPL-релиз SPARK входят следующие технологии:<br><br><br>- Описание языка SPARK<br>- Полный инcтрументарий SPARK, включая Examiner, Simplifier и Checker<br>- Вспомогательные инструменты: SPARKSimp, SPARKMake, SPARKFormat и POGS<br>- Вводные учебные материалы по SPARK и SPARK Pro, с примерами из Tokeneer, включены в сопроводительный релиз пакета Tokeneer Discovery (http://www.adacore.com/home/products/sparkpro/tokeneer/di...<br><br>URL: http://www.dwh https://opennet.ru/openforum/vsluhforumID3/55609.html#9 Wed, 10 Jun 2009 01:59:03 GMT Вы путаете теорему и гипотезу.<br><br>&#171;Гипотеза&#187;, как бы научно и серьезно это слово не звучало, не является доказанной и, соответственно, верной.<br> https://opennet.ru/openforum/vsluhforumID3/55609.html#8 Tue, 09 Jun 2009 10:23:25 GMT Такой теоремы не может быть в принципе.<br> https://opennet.ru/openforum/vsluhforumID3/55609.html#7 Tue, 09 Jun 2009 10:21:55 GMT Не 100% Правильности<br>а 100% соответствия формальным критериям<br> https://opennet.ru/openforum/vsluhforumID3/55609.html#6 Tue, 09 Jun 2009 09:08:56 GMT Помню была то ли теорема толи что о том, что программ без ошибок не может существовать. Вот и IMHO гарантировать 100% правильность значит заведомо врать.<br> https://opennet.ru/openforum/vsluhforumID3/55609.html#5 Tue, 09 Jun 2009 08:27:38 GMT Ага, не забыть только критерии правильностьи верифицировать для начала. На 100%. А перед этим верифицировать критерии оценки критериев :))<br> https://opennet.ru/openforum/vsluhforumID3/55609.html#4 Tue, 09 Jun 2009 07:22:33 GMT То бишь для людей от которых требуют 100% гарантию правильности работы программы<br> https://opennet.ru/openforum/vsluhforumID3/55609.html#3 Tue, 09 Jun 2009 06:15:33 GMT &gt;Что это вообще такое? Что за верификатор? <br><br>Верификатор - проверятель истинности (правильности).<br><br>http://ru.wikipedia.org/wiki/%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F<br> https://opennet.ru/openforum/vsluhforumID3/55609.html#2 Tue, 09 Jun 2009 04:22:20 GMT Что это вообще такое? Что за верификатор?<br> https://opennet.ru/openforum/vsluhforumID3/55609.html#1 Tue, 09 Jun 2009 03:30:03 GMT Звучит как приговор<br>