RV 2008 (2008 Budapest, Hungary)

• Runtime verification