Um computador que pode ser verificado.