Vérification de SMA

Vérification formelle de SMA

Ensemble des méthodes mathématiques permettant de prouver rigoureusement qu'un système multi-agents satisfait des spécifications formelles. Ces techniques garantissent la correction du comportement global du système avant son déploiement.

← Back