New Heuristics for Invariant Generation
Personnes présentes
- Marie-Claude Gaudel
- Frederic Voisin
- Safouan Taha
- Frederic Boulanger
- Burkhart Wolff
- Lina Yue
- Du Zeye
Presentators (by order of appearance)
- Vassil Todorov
LRI |
Équipe VALS |
Bât 650 Ada Lovelace, Université Paris Sud |
Rue Noetzlin, 91190 Gif-sur-Yvette, France |
New Heuristics for Invariant Generation