Preliminary report on clock directed verification and invariant generation WP1 D1.1

Related