Global verification
Topological inference (positive evidence)
Coarse test – bounding box intersection
Fine test – local verification procedures
Pair-wise register if possible/necessary
Conflict detection (negative evidence)
Coarse test – frustum or view volume intersection
Fine test – visibility consistency