Verificador de programas imperativos.