Завершение эскизов предикатных программ методом синтеза через контрпримеры

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Завершение эскизов предикатных программ методом синтеза через контрпримеры	535 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/2226308X/10/59

Title: Завершение эскизов предикатных программ методом синтеза через контрпримеры
Creator: Чушкин, Михаил Сергеевич
Date: 2017
DOI: 10.17223/2226308X/10/59
Description: Программа на языке P представляет собой набор определений предикатов. Для языка P разработана операционная семантика. На базе операционной семантики определена формула тотальной корректности предиката относительно его спецификации. Для незаконченной программы на языке P ставится задача её завершения до корректной относительно спецификации. Метод синтеза выражений на основе контрпримеров успешно адаптирован для этой задачи.

Relationships: Show Relationship Browser for this Object
collection(s): Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Прикладная дискретная математика. Приложение. 2017. № 10. С. 151-153
Language: rus