Search Results - Бурдонов И. Б.

lts-модель автоматная модель асинхронное тестирование верификация композиции деревья дивергенция итоги мажорирование машина тестирования множества модели модели ввода-вывода недетерминизм общая теория монотонности отношение ioco пополнение спецификации порождающий граф последовательности правильность предлагаемый подход проблемы проблемы взаимодействия реализация синхронное тестирование соответствия соответствия между моделями спецификации без блокировок спецификации без разрушения сравнение моделей теория соответствия