Las lógicas de separación proporcionan un método novedoso en la verificación formal de programas. Resuelven el problema que se tenía al verificar estructuras de datos dinámicas y aquellas que hacen uso de apuntadores. Con ...