Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
teaching:cc7125 [2017/10/04 20:46] – [Trail 2017/2] etanter | teaching:cc7125 [2017/11/13 15:45] – etanter | ||
---|---|---|---|
Line 17: | Line 17: | ||
====== Recursos ====== | ====== Recursos ====== | ||
- | Download {{teaching: | + | * Download {{teaching: |
+ | | ||
==== Trail 2017/2 ==== | ==== Trail 2017/2 ==== | ||
Line 36: | Line 37: | ||
* Oct 2: Imp.v (hasta ceval_example2) | * Oct 2: Imp.v (hasta ceval_example2) | ||
* Oct 5: Imp.v / ImpCEvalFun.v / Extraction.v | * Oct 5: Imp.v / ImpCEvalFun.v / Extraction.v | ||
+ | * Oct 9: //feriado// | ||
+ | * Oct 11: Auto.v / inicio de Equiv.v (definición de nociones de equivalencia) | ||
+ | * Oct 16: Equiv.v | ||
+ | * Oct 18: Hoare.v (hasta proof rule de SKIP) | ||
+ | * Oct 23: Hoare.v | ||
+ | * Oct 25: Hoare2.v (hasta Example: Parity) | ||
+ | * Oct 30: Hoare2.v | ||
+ | * Nov 1: //feriado// | ||
+ | * Nov 6: Smallstep.v (hasta normalizing) | ||
+ | * Nov 8: Smallstep.v | ||
+ | * Nov 13: Perm.v y Sort.v (libro VFA) | ||
+ | * Nov 15: JSCert (M. Bodin) | ||
+ | * Nov 20: JSCert (M. Bodin) | ||
+ | * Nov 22: Verificación de Programas Probabilísticos (F. Olmedo) | ||
+ | |||
+ | [[teaching: | ||
---- | ---- |