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