IGL502/IGL752 ? Techniques de vérification et de validation

IGL502/IGL752 ? Techniques de vérification et de validation

Exercice. Extensions/Abbréviations. Exemple de Spécification. Traduction en LTL. Vérification. Principe du Model-Checking LTL. SE-LTL / TINA-SELT. Solutions des ...