Notice RAMEAU
- Notice
000 cx j22 45
001 FRBNF166645999
005 20130221
035 .. $a (Sudoc)167506862
100 .. $a 20130220afrey50 ba0
106 .. $a 211
152 .. $b rameau $c 2
250 .. $7 ba0yba0y $8 fre $9 $a CEGAR (algorithme)
450 .. $7 ba0yba0y $8 fre $9 $a Counter Example Guided Abstraction Refinement
686 .. $a 621 $2 Note de regroupement par domaine
801 .. $a FR $b FR-751131015 $c 20130221
810 .. $a Time for verification : essays in memory of Amir Pnueli, 2010 $a Verification, model checking and abstract interpretation, 2008 $a Refined probabilistic abstraction / B. Wachter, 2010
