Verification
System design rationale