Model checking

concept méthode de vérification formelle utilisée pour prouver automatiquement les propriétés de systèmes informatiques

Catégories : informatique · informatique et technologie · concepts abstraits

Mots du lexique : model nom commun