Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- magistraleinformatica:mvs:start [21/05/2013 alle 18:22 (12 anni fa)] – [Lezioni] Andrea Corradini
+++ magistraleinformatica:mvs:start [23/05/2013 alle 14:39 (12 anni fa)] (versione attuale) – [Metodi per la Verifica del Software (A.A. 2012/13)] Andrea Corradini
@@ Linea 2: / Linea 2: @@
+----
+**Attenzione:** Il corso di MVS non sarà erogato nell'Anno Accademico 2013/14, **ma sarà erogato regolarmente nell'A.A. 2014/15**.
+----
 Docente: [[http://www.di.unipi.it/~andrea/|Andrea Corradini]]
@@ Linea 46: / Linea 49: @@
 |  21| 16-05-2013 |Esercitazione su PROMELA e SPIN  |   |   |
 |  22| 21-05-2013 | Lezione di [[http://www.albertolluch.com/|Alberto Lluch Lafuente]]  |  {{:magistraleinformatica:mvs:mvs-spin-2013-07-optimization.pdf|}} | Lucidi di Holzmann su Model Extraction da C code {{:magistraleinformatica:mvs:caltech18.ppt|caltech18.ppt}}. http://spinroot.com/modex/  |
-|  23| 23-05-2013 | Overview su CTL e CTL* |   |   |
+|  23| 23-05-2013 | Overview su CTL e CTL*, Presentazione progetto | {{:magistraleinformatica:mvs:lec17-ctl-ctlstar-summary-2013.pdf|}}  |   |
 ===== Anni precedenti  =====
 **[[.:year2010:start|Anno Accademico 2010/11]]**