Introduction au Model-Checking

Introduction au Model-Checking

Le model-checking est une technique de vérification formelle basé sur les modèles, tel que le modèle source est écrit dans un formalisme de modélisation et ...