1

Closed

Inference required to track conditions for enabledness

description

In the attached (checked with at least two groups) we should infer an invariant similar to the assertion condition.

file attachments

Closed Feb 23, 2015 at 4:37 PM by jketema
We infer the invariant "conditionsImplyingEnabledness"

comments