Формальная Верификация
Всего сообщений: 3
Форум
2020
- Development refinement type, формальная верификация в нефункцональных языках? (96 комментариев)
2018
- Science & Engineering Как на Standard ML в наше время создают программы с доказанной надёжностью? (5 комментариев)
Новости
2009
- Доказана невозможность статического парсинга Perl 5 (455 комментариев)