Лекция 11 февраля

Состоялась лекция «Основные понятия дедуктивной верификации».
Были рассмотрены следующие вопросы:

  • понятие корректности программы;
  • понятие формальной корректности математической модели программы над
  • математической моделью требований;
  • блок-схема как математическая модель программы;
  • пред- и постусловия в виде предикатов как математическая модель требований;
  • понятие вычисления блок-схемы;
  • функция M[P] результата вычисления блок-схемы;
  • понятие завершимости программы относительно заданных требований;
  • понятие частичной корректности программы относительно заданных требований;
  • понятие полной корректности программы относительно заданных требований;
  • лемма о сведении полной корректности к частичной корректности и завершаемости.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *