Формальные методы
в программной инженерии
На главную
© Copyright 2021 Институт Систем Информатики СО РАН, Новосибирский Государственный Университет.
Видеолекции по следующим разделам формальных методов:
SMT-решатели
Предикатное программирование. Система верификации Why3
Автоматное программирование. Система моделирования Event-B
Библиотека теории групп
Проверка моделей (Model checking)
TТерминологические системы
Введение по курсу Формальных методов. Видео
HTML Website Creator
