Complexité algorithmique de variantes de LTL pour la vérification
Si c'est un vrai bug, avertir le concepteur et attendre qu'il corrige. ii. Si le ... ? Logique temporelle : CTL, LTL. ? NuSMV, PVS (theorem prouver + model ...
Si c'est un vrai bug, avertir le concepteur et attendre qu'il corrige. ii. Si le ... ? Logique temporelle : CTL, LTL. ? NuSMV, PVS (theorem prouver + model ...