Объект исследования: предметно-ориентированные системы переходов (унифицированный формализм для описания средств дедуктивной верификации программ) и язык выполнимых спецификаций предметно-ориентированных систем переходов ...