Pode explicar o que é uma exceção verificável em linguagens de programação?

Exceção verificada (checked exception) é um tipo de exceção em Java que o compilador exige que seja tratada (try-catch) ou declarada na assinatura do método usando a palavra-chave throws. Elas são destinadas a situações que podem ocorrer durante a execução, mas que o programador deve prever e tratar, como erros de entrada/saída (IOException).

Exemplo:

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

Se um método chama outro método que lança uma exceção verificada, é necessário tratar a exceção ou declará-la para propagação. Isso ajuda a tornar o código mais robusto e claro quanto aos possíveis erros.