Автоматы

Анализ внешнего поведения бинарных программ и схем выбора на основе локальных эквивалентных преобразований

Н. А. Абрамова

Институт проблем управления РАН, г. Москва

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

УДК: 519.715


Поступила в редакцию: 01.09.1993

 Англоязычная версия: Automation and Remote Control, 1995, 56:6, 869–885

Реферативные базы данных:

•