Инструментальное средство Converter
В рамках работ по государственному контракту [65 -68]была проведена апробация инструментального средства Converter.
Работоспособность этого средства проверялась на клиент-серверной модели банкомата.
Эта модель состоит из двух вложенных автоматов: AClient, содержащий 13 состояний, и вложенный в него AServer, содержащий пять состояний. Были формально доказаны истинные свойства банкомата. Также были сформулированы свойства, которые не должны выполняться в банкомате, что и подтвердила верификация. Верификация модели банкомата описана в [5].Также Converterи метод, на котором основано это средство, используется в учебном процессе. С 2012 года автором на кафедре «Компьютерные технологии» ведётся курс по верификации программного обеспечения. В рамках данного курса студенты в частности проводят верификацию автоматных программ, выложенных на сайте http://is.ifmo.ru. В 2012 году магистрант В. Ульянцев обнаружил ошибку в программе, реализующей управление часами с будильником, которая до этого многократно проверялась [83].
4.2.
Еще по теме Инструментальное средство Converter:
- Коммутационные средства матричных СБИС-мультипроцессоров
- СПИСОК ЛИТЕРАТУРЫ
- ВВЕДЕНИЕ
- Анализ химического состава
- II.МЕТОДЫ ГОСУДАРСТВЕННОГО УПРАВЛЕНИЯ.
- 2.ПОНЯТИЕ И ОБЩАЯ ХАРАКТЕРИСТИКА ГОСУДАРСТВЕННОГО УПРАВЛЕНИЯ
- Принципы банковского надзора
- 2. Производство по делам об административных правонарушениях
- 3.1. Пруденциальный банковский надзор: понятие и взаимосвязь с государственным финансовым контролем
- 30. Меры оперативного воздействия на правонарушителя.
- 19. Понятие и виды объектов гражданского права.
- СОДЕРЖАНИЕ
- 3. ПОНЯТИЕ И ОБЩАЯ ХАРАКТЕРИСТИКА ИСПОЛНИТЕЛЬНОЙ ВЛАСТИ
- ПРАВОВЫЕ АКТЫ, ИЗДАВАЕМЫЕ ОФСБ
- Занятие 2 Тема: ВОЗБУЖДЕНИЕ ДЕЛА В АРБИТРАЖНОМ СУДЕ. ПОДГОТОВКА ДЕЛА К СУДЕБНОМУ РАЗБИРАТЕЛЬСТВУ
- 48. Право хозяйственного ведения и оперативного управления
- 46 Право собственности граждан.
- 2. Основные черты гражданско-правового метода регулирования общественных отношений
- Анализ гранулометрического состава
- Административно - правовое регулирование военной службы в ОФСБ.