Notice RAMEAU

  • Notice
CEGAR (algorithme)



Vedette matière nom commun. S'emploie en tête de vedette.

<Employé pour : 
Counter Example Guided Abstraction Refinement

<<Terme(s) générique(s) :
Algorithmes

Source(s) : 
Time for verification : essays in memory of Amir Pnueli, 2010 . - Verification, model checking and abstract interpretation, 2008 . - Refined probabilistic abstraction / B. Wachter, 2010

Domaine(s) : 621

Identifiant de la notice  : ark:/12148/cb16664599h
Notice n° :  FRBNF16664599

Création :  13/02/20
Mise à jour :  13/02/21