WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
Cette carte de concepts créée avec IHMC CmapTools traite de: 06_LOG670-H2011, des vérifications formelles en effectuant vérification de modèles model-checking, spécification formelle permettent parfois de générer du code, des contraintes qui s'appliquent sur diagrammes de classes, le comportement du système concret avec celui prévue par la spécification formelle, méthodes formelles de développement permettent de comparer le comportement du système concret, club vidéo simpliste comporte les invariants Une vidéo empruntée est nécessairement une vidéo de la banque Deux clients distincts ne peuvent avoir des vidéos en commun Le nombre d’emprunts est <= 6, vérification de modèles model-checking pour la validité des propriétés, langages formels langages existants logique du 2e ordre, UPPAAL avec langage CTL computation tree logic, vérification de modèles model-checking pour trouver des contre-exemples, vérification de modèles model-checking qui consiste à ????, une représentation symbolique pour les graphes de transitions afin de pouvoir vérifier des systèmes très larges (avec 10^20 états), spécification formelle permet de faire des vérifications formelles, UML permet de produire diagrammes de séquences, langages formels langages existants logique modale, une famille à faire en utilisant le document, des propositions provenant de spécification formelle, langage CTL computation tree logic comprend 5 opérateurs temporels ????, langages formels langages existants trouvez-en deux autres, vérification de modèles model-checking travaille sur graphes de transitions