RV 2009 (2009 Grenoble, France)

• Runtime verification