Verification
Life cycle concepts