Проверка SMA

Проверка безопасности

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

← Назад