Nicola Olivetti
IdRefMots clés
FR |
EN
Modélisation
Logiques de ressources
Logiques de séparation
Logique informatique
Méthodes formelles (informatique)
Logique épistémique
Modalité (logique)
Vérification et preuve
Dynamique
Méthodes des tableaux
Recherche de preuves
Méthodes formelles
Extraction de contre-Modèles
Systèmes, Conception de
Systèmes dynamiques
Simulation, Méthodes de
.
Preuve
Logiques temporelles
Logiques épistémiques