СПОСОБ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ СО СЛОЖНЫМ ПОВЕДЕНИЕМ

摘要

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