¿Puedes explicar qué es una excepción verificable en los lenguajes de programación?

La excepción comprobada (checked exception) es un tipo de excepción en Java que el compilador requiere que se maneje (try-catch) o se declare en la firma del método usando la palabra clave throws. Están destinadas a situaciones que pueden ocurrir en tiempo de ejecución, pero que el programador debe prever y manejar, como errores de entrada/salida (IOException).

Ejemplo:

public void readFile(String path) throws IOException {
    FileReader reader = new FileReader(path);
    // ...
}

Si un método llama a otro método que lanza una excepción comprobada, entonces se debe manejar la excepción o declararla para que se propague. Esto ayuda a hacer el código más robusto y claro respecto a los posibles errores.