1. A function or operation in software, mathematics, or formal systems that has been tested, validated, or proven to work correctly according to specifications
The verified function ensures that all user inputs are processed securely.
A função verificada garante que todas as entradas do usuário sejam processadas com segurança.
2. In formal verification, a function whose correctness has been mathematically proven or certified
The compiler uses a verified function to check type safety.
O compilador usa uma função verificada para verificar a segurança de tipos.