| |
Чеботарев, А. Н.
Теоретико-автоматный подход к верификации реактивных систем [Текст] / А. Н. Чеботарев
// Кибернетика и системный анализ. – 2001. – № 6. – 37-49.
Данная статья посвящена основным проблемам, связанным с теоретико-автоматными методами верификации, в частности построению по формуле темпоральной логики автомата-распознавателя и редукции верифицируемого автомата. |
