paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 167506862Copier cet identifiant (PPN)
Notice de type Rameau

Point d'accès autorisé

CEGAR (algorithme)

Variante de point d'accès

Counter Example Guided Abstraction Refinement
[Nom commun]


Terme générique


Notices d'autorité liées

Source

Refined probabilistic abstraction / B. Wachter, 2010

Time for verification : essays in memory of Amir Pnueli, 2010

Verification, model checking and abstract interpretation, 2008

Identifiants externes

Utilisation dans Rameau

Le point d'accès ne peut être employé que dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

... Références liées : ...