Describir: Exposicion del metodo de kani y de metodos aproximados