L'étude se concentre sur l'utilisation de CTL+Sync avec des automates à un compteur pour la vérification de modèles.
― 7 min lire
La science de pointe expliquée simplement
L'étude se concentre sur l'utilisation de CTL+Sync avec des automates à un compteur pour la vérification de modèles.
― 7 min lire