Logique STIT
Definition
STIT signifie « See To It That » (Veiller à ce que). C’est une branche de la …
Formal Methods
Terms tagged with Formal Methods
Logique modale épistémique
Definition
La logique modale épistémique étend la logique classique avec des opérateurs qui …
Logique épistémique dynamique
Definition
La logique épistémique dynamique (LED) étend la logique modale pour modéliser comment la …
Concurrent MetateM
Definition
Concurrent MetateM est un langage de spécification de haut niveau utilisé principalement …
Vérification d'agent
Definition
Cela implique l’utilisation de méthodes mathématiques pour s’assurer que les …