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:cc7125 [2017/10/20 14:48] – etanter | teaching:cc7125 [2017/11/13 09:16] – etanter | ||
---|---|---|---|
Line 17: | Line 17: | ||
====== Recursos ====== | ====== Recursos ====== | ||
- | * Download {{teaching: | + | * Download {{teaching: |
- | * Download {{teaching: | + | * Download {{teaching: |
==== Trail 2017/2 ==== | ==== Trail 2017/2 ==== | ||
Line 41: | Line 41: | ||
* Oct 16: Equiv.v | * Oct 16: Equiv.v | ||
* Oct 18: Hoare.v (hasta proof rule de SKIP) | * 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: | ||
+ | * Nov 15: JSCert (M. Bodin) | ||
+ | * Nov 20: JSCert (M. Bodin) | ||
+ | * Nov 22: Verificación de Programas Probabilísticos (F. Olmedo) | ||
+ | |||
+ | [[teaching: | ||
---- | ---- |