You are here

Research seminaries

12 March 2013
I will introduce Causality Checking, a technique extending model checking designed to establish...