Справочник от Автор24
Найди эксперта для помощи в учебе
Найти эксперта
+2

Верификация программы (program verification)

Предмет Технологические машины и оборудование
👍 Проверено Автор24

исполнение программы выполнения задания с целью устранения возможных ошибок, подтверждения правильности маршрута робота и показателей процесса исполнения; верификация программы может включать отработку всего маршрута прохождения центральной точки инструмента при исполнении программы выполнения задания или некоторого сегмента данного маршрута; команды могут выполняться по одной или непрерывной последовательностью; верификация программы используется в новых прикладных задачах и при точной настройке или редактировании существующих задач.

Научные статьи на тему «Верификация программы (program verification)»

Дедуктивная верификация и реализация предикатной программы инвертирования списков

Представлен метод предикатного программирования в применении к известной программе инвертирования односвязных списков. Данная программа признана крайне трудной для дедуктивной верификации (verification challenge). Описываются построение и дедуктивная верификация предикатной программы инвертирования списка как объекта алгебраического типа. Эффективная императивная программа получена применением оптимизирующих трансформаций. Дедуктивная верификация предикатной программы на порядок проще верификации аналогичной императивной программы, использующей указатели.The simple predicate program of reversing a list as datatype object is presented. Deductive verification of this program is simple. The imperative program of reversing a linked list is obtained by the set of program transformations for the predicate program.

Научный журнал

Методы верификации моделей автоматных программ

В статье рассматриваются способы преобразования программ, разработанных на основе автоматного подхода, в модели Крипке, предназначенные для проверки свойств, относящихся к поведению системы. Эти свойства задаются формулами темпоральной логики. Предложены несколько методов такого преобразования и способов формулировки свойств.

Научный журнал

Еще термины по предмету «Технологические машины и оборудование»

Звено (Ink)

твердое тело, соединяющее соседние шарниры.

🌟 Рекомендуем тебе

Струговая установка

узкозахватная горная машина, применяемая в длинных очистных забоях, предназначенная для механизированного скола или срезания. погрузки полезного ископаемого с помощью струга и доставки его конвейером или только для разрушения.

🌟 Рекомендуем тебе
Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

  1. Напиши термин
  2. Выбери определение из предложенных или загрузи свое
  3. Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
Все самое важное и интересное в Telegram

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot