next up previous contents
Next: equrem3 Up: Verification examples. Previous: equrem1   Contents

equrem2

   Structure: two cubes on top of each other
   Test objective: removal of some MPC's in the second step
                   selection of single nodes


guido dhondt 2014-03-02