Проверка SMA

Формальная верификация МАС

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

← Назад