Model Checking

concept

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

Wikipedia Wikidata

Propriétés

Catégories

informatique informatique et technologie concepts abstraits

Mots liés

model NOM