Файл:Seminar Verification 4.pdf

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
Seminar_Verification_4.pdf(размер файла: 613 КБ, MIME-тип: application/pdf)

математические методы верификации схем и программ, семинар 4. Обзор средства NuSMV (полулекционное занятие)

История файла

Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.

Дата/времяРазмерыУчастникПримечание
текущий12:30, 14 октября 2019 (613 КБ)PodymovVV (обсуждение | вклад)обновил год, наполнение то же
13:11, 13 сентября 2018 (621 КБ)PodymovVV (обсуждение | вклад)
16:43, 18 октября 2017 (657 КБ)PodymovVV (обсуждение | вклад)поправлена пара неточностей
18:19, 17 октября 2017 (656 КБ)PodymovVV (обсуждение | вклад)супер-пупер обновление обзора
13:44, 26 октября 2016 (516 КБ)PodymovVV (обсуждение | вклад)поправлены фактические ошибки, добавлено несколько слайдов о возможностях
17:14, 19 октября 2016 (504 КБ)PodymovVV (обсуждение | вклад)
16:58, 19 октября 2016 (504 КБ)PodymovVV (обсуждение | вклад)математические методы верификации схем и программ, семинар 4. Обзор средства NuSMV (полулекционное занятие)
  • Вы не можете перезаписать этот файл.

Нет страниц, ссылающихся на данный файл.