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