Future Verification Technology