![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[SND]](/icons/sound2.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Alloy.hs | 2012-11-29 16:17 | 13K | |
| Alloy.pdf | 2012-10-16 16:55 | 8.1M | |
| Alloy_under_the_hood..> | 2012-11-29 16:17 | 249K | |
| CoalgebrasComponents..> | 2013-03-24 16:18 | 1.4M | |
| Coq1.pdf | 2013-05-09 01:08 | 511K | |
| Coq2.pdf | 2013-05-22 23:50 | 358K | |
| DPLL_sat.tar.gz | 2013-03-22 09:44 | 10K | |
| FOL+SMT.pdf | 2013-03-14 12:43 | 561K | |
| IntroductionPASmodul..> | 2013-03-24 16:20 | 197K | |
| LTLvsCTL_assign.smv | 2012-12-13 15:49 | 402 | |
| LTLvsCTL_trans.smv | 2012-12-13 15:50 | 330 | |
| PAS-OpenExercisesSA.zip | 2013-05-02 11:27 | 481K | |
| PAS1213-IMC.pdf | 2013-06-27 11:27 | 177K | |
| PAS1213-LTS.pdf | 2013-06-13 14:57 | 268K | |
| PAS1213-TC.pdf | 2013-06-27 11:27 | 690K | |
| PL+SAT.pdf | 2013-03-08 10:35 | 765K | |
| ProbabilisticConstra..> | 2013-06-13 14:50 | 1.9M | |
| REO.pdf | 2013-05-09 13:49 | 2.7M | |
| ReoPapers.zip | 2013-06-13 14:50 | 4.8M | |
| RunTimeReo.pdf | 2013-06-13 14:51 | 6.9M | |
| SMTsolvers.pdf | 2013-03-21 09:02 | 2.6M | |
| TalkGV.zip | 2013-05-09 13:49 | 3.4M | |
| aula_PAS_2013_06_13.zip | 2013-06-27 11:26 | 5.9M | |
| avo.als | 2012-10-18 14:54 | 437 | |
| book_dynamic_global.als | 2012-11-08 16:51 | 394 | |
| book_dynamic_local.als | 2012-11-08 16:50 | 384 | |
| book_dynamic_local_e..> | 2012-11-08 16:51 | 781 | |
| book_dynamic_local_e..> | 2012-11-08 16:51 | 837 | |
| book_dynamic_local_e..> | 2012-11-08 16:51 | 1.1K | |
| book_dynamic_local_p..> | 2012-11-08 16:50 | 667 | |
| book_dynamic_local_p..> | 2012-11-08 16:51 | 818 | |
| book_static.als | 2012-11-08 16:50 | 260 | |
| dekker.als | 2012-12-11 15:49 | 1.4K | |
| dekker.smv | 2012-12-11 15:50 | 1.0K | |
| exercises.pdf | 2012-12-10 16:58 | 94K | |
| farmer_dynamic_local..> | 2012-11-08 16:52 | 1.2K | |
| farmer_static.als | 2012-11-08 16:52 | 385 | |
| formulario.pdf | 2013-02-14 18:14 | 177K | |
| invariants.pdf | 2012-10-03 19:46 | 256K | |
| lessonCoq1.v | 2013-05-09 01:08 | 9.2K | |
| lessonCoq2.v | 2013-05-22 23:50 | 17K | |
| mfes12131csi1c.pdf | 2013-06-10 14:14 | 241K | |
| mfes12131csi2.pdf | 2014-02-22 20:47 | 159K | |
| model_checking.pdf | 2012-12-11 15:48 | 1.1M | |
| movethebox.als | 2012-12-11 15:58 | 3.1K | |
| movethebox.thm | 2012-12-11 15:58 | 2.2K | |
| msdn02.pdf | 2012-10-03 13:40 | 893K | |
| petrinet.als | 2012-12-13 14:03 | 1.1K | |
| petrinet.thm | 2012-12-13 14:12 | 930 | |
| prepost.pdf | 2012-10-11 08:48 | 254K | |
| semaphore.als | 2012-12-11 15:50 | 934 | |
| semaphore.smv | 2012-12-11 15:50 | 598 | |
| teste.pdf | 2013-02-07 13:33 | 76K | |
| trabCoq.pdf | 2013-05-23 22:17 | 59K | |