Framework for Verification