![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Dependable_Software_..> | 2009-09-29 17:49 | 1.7M | |
| Alloy.pdf | 2009-10-15 16:58 | 4.4M | |
| FS.als | 2009-10-22 17:29 | 1.8K | |
| Avo.als | 2009-10-29 17:28 | 530 | |
| Barqueiro.als | 2009-10-29 17:33 | 967 | |
| model_checking.pdf | 2009-12-22 10:45 | 1.1M | |
| MBT.zip | 2010-01-07 15:03 | 1.0M | |
| QC.hs | 2010-02-16 22:40 | 3.1K | |
| testeAMT.pdf | 2010-02-18 15:20 | 90K | |
| MPlayerMetrics.xls | 2010-02-18 15:20 | 732K | |
| LN1.pdf | 2010-03-11 12:14 | 528K | |
| LN2.pdf | 2010-03-11 12:14 | 716K | |
| SFV-PL-2up.pdf | 2010-03-11 19:11 | 233K | |
| SFV-Logic-Intro-2up.pdf | 2010-03-11 19:12 | 85K | |
| aula1.v | 2010-03-24 18:23 | 3.3K | |
| SFV-FOL-2up.pdf | 2010-03-25 16:28 | 250K | |
| SFV-BeyondFOL-2up.pdf | 2010-04-08 18:47 | 278K | |
| aula3.v | 2010-04-08 18:49 | 8.5K | |
| EXER1.pdf | 2010-04-11 22:56 | 639K | |
| LN4.pdf | 2010-04-11 22:57 | 353K | |
| LN3.pdf | 2010-04-11 23:00 | 738K | |
| mfes09102csi.pdf | 2010-04-14 15:11 | 144K | |
| aula4.v | 2010-04-22 09:13 | 6.2K | |
| LN6.pdf | 2010-04-29 13:48 | 705K | |
| EXER2.pdf | 2010-04-29 13:48 | 178K | |
| PAS-uppaal-ex-1.tar.gz | 2010-04-29 14:02 | 2.5K | |
| LN5.pdf | 2010-05-03 00:03 | 564K | |
| 2010-01lecturesigumm..> | 2010-05-14 11:53 | 6.9M | |
| 2010-01lecturesigumm..> | 2010-05-14 11:53 | 4.0M | |
| 2010-01lecturesigumm..> | 2010-05-14 11:55 | 4.3M | |
| SFV-CurryHoward-2up.pdf | 2010-05-20 12:29 | 261K | |
| aula5.v | 2010-05-20 12:30 | 8.3K | |
| LN7.pdf | 2010-05-20 15:15 | 1.0M | |
| lamportP.tar.gz | 2010-05-20 15:15 | 1.3K | |
| SFV-MoreAboutCoq-2up..> | 2010-05-20 15:23 | 236K | |
| exercicios.pdf | 2010-06-30 18:16 | 52K | |