September 2003 (ENS
Cachan) : the slides (fr,pdf)
of my presentation
about verification and symbolic automata (introduction to the area and
my master thesis).
October 2006 Combining widening and acceleration + Aspic
demo, invited speach in LIAFA
Verification group My slides.