Формализация и верификация ПО

cynepkot
Сообщений: 24
Зарегистрирован: 25 ноя 2015, 12:31

Формализация и верификация ПО

Сообщение cynepkot » 30 ноя 2015, 20:22

Небольшая коллекция интересных ссылок по теме.

Аватар пользователя
voyager-1
Сообщений: 41
Зарегистрирован: 21 окт 2015, 18:34

Re: Формализация и верификация ПО

Сообщение voyager-1 » 07 дек 2015, 08:42

По этой части есть хороший материал от JPL NASA:
10 правил написания безопасного критически-важного кода
И рекомендации лаборатории надёжного программного обеспечения (LARS) в составе той же JPL (есть рекомендации для Си и JAVA).


Вернуться в «Литература»

Кто сейчас на форуме

Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 1 гость