Файловое хранилище
root
/
csd
/
5-6 (отдельные курсы)
/
Мат. методы вериф. программ и схем (Захаров)
/
3. домашние задания
/
2016
дз 2. Живость и безопасность
10 сент. 2025 г., 13:17
Открыть
дз 3. Проверка CTL. ROBDD
10 сент. 2025 г., 13:19
Открыть
дз 4. nusmv. Толкучка роботов
10 сент. 2025 г., 13:19
Открыть
дз 5. spin. Leader election
10 сент. 2025 г., 13:19
Открыть
дз 6. Бисимуляционная эквивалентность (avasite)
10 сент. 2025 г., 13:20
Открыть
дз 7. UPPAAL. gossip (avasite)
10 сент. 2025 г., 13:20
Открыть
дз 1. Логика Хоара, Тотальная корректность (с пометками преподавателя).txt
12.9 KB
10 сент. 2025 г., 13:16
Просмотр
Скачать
дз 1. Логика Хоара, Тотальная корректность.txt
12.2 KB
10 сент. 2025 г., 13:16
Просмотр
Скачать