Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
teaching:cc7126 [2018/01/31 11:12] – folmedo | teaching:cc7126 [2018/01/31 15:17] – folmedo | ||
---|---|---|---|
Line 2: | Line 2: | ||
- | ==== ¿Por qué este curso? | + | ==== Motivación y Objetivos |
- | ==== Objetivos y contenido | + | Los problemas en las piezas de software pueden acarrear consecuencias catastróficas, |
+ | |||
+ | En este curso estudiaremos el análisis y verificación formal de programas, que constituyen un conjunto de herramientas matemáticas para razonar *formalmente* sobre el comportamiento de los programas. A diferencia del testing, su empleo permite // | ||
+ | |||
+ | A lo largo del curso presentaremos los fundamentos matemáticos subyacentes a dichas herramientas, | ||
+ | |||
+ | |||
+ | ==== Contenido | ||
+ | Al término del curso, el estudiante manejará las nociones de: | ||
+ | * **Semántica formal de programas: | ||
+ | * **Verificación formal de programas: | ||
+ | * **Análisis estático de programas: | ||
Line 31: | Line 42: | ||
==== Contacto ==== | ==== Contacto ==== | ||
- | Federico Olmedo, Oficia 311N, [folmedo@dcc.uchile.cl|email]] | + | Federico Olmedo, Oficia 311N, [[folmedo@dcc.uchile.cl|email]] |