Esta página es provisional mientras arreglan la plataforma e-Gela

--------------------------------------------------------------------------

MÉTODOS FORMALES DE DESARROLLO DE SOFTWARE

                    CURSO 2017-18

                        Paqui Lucio

--------------------------------------------------------------------------

Algunas lecturas interesantes para motivar tu interés por la asignatura y tener una visión más amplia del tema:

• ¿Es posible construir software que no falle?, Fernando Orejas, Blog (El País): Año Turing, 2012.
• Reasoning and Verification: State of the Art and Current Trends,  B. Beckert &  R. Hähnle, IEEE INTELLIGENT SYSTEMS, 2014.
• Who Builds a House without Drawing Blueprints?, Leslie Lamport, COMMUNICATIONS OF THE ACM, 2015.
• Moving Fast with Software Verification, C. Calcagno, NASA Formal Methods Symposium, 2015.

1.- Introduction : Slides, Video1, Video2

2.- Mathematical Induction: Slides, Lab1