Panorama de los métodos formales. Nociones básicas y herramientas matemáticas. Especificación de software y sus propiedades. Verificación formal de software.
