Verifying Technologies