PCES PI Meeting
Feb 2001
19
Static Verification
•
Correct staging should be statically enforced
•
Catch mistakes early
•
Diagnose notoriously difficult staging errors
•
Support safe program revision
•
Prevent inconsistencies at module boundaries