Igor Walukiewicz
IdRefMots clés
FR |
EN
Automates temporisés
Temps réel (informatique)
Vérification
Systèmes informatiques
Mu-calcul
Abstractions
Algorithmes
Structures de données (informatique)
Logique
Langages de programmation
Preuves circulaire et infinitaires
Élimination des coupures
Omega-automates
Axiomatisation de Kozen
Théorie de la démonstration
Informatique -- Mathématiques
Logique mathématique
Réduction d’ordre partiel
Explosion de l'espace d'état
Sémantique temporelle locale