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/18 17:19] – 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 40: | 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: 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: | ||
---- | ---- |