next up previous contents
Next: equrem2 Up: Verification examples. Previous: edgeload   Contents

equrem1 

   Structure: two cubes on top of each other
   Test objective: removal of all MPC's in the second step

guido dhondt 2014-03-02