Udi Boker

L'étude se concentre sur l'utilisation de CTL+Sync avec des automates à un compteur pour la vérification de modèles.

Explorer comment le déterminisme historique et la simulation équitable sont liés dans la théorie des automates.