This commit is contained in:
Francesco Mecca 2020-05-22 23:34:54 +02:00
parent 5ea1311075
commit 8ee1f539e5
2 changed files with 8 additions and 2 deletions

Binary file not shown.

View file

@ -1,4 +1,4 @@
* TODO VPC [21/22] * TODO VPC [21/23]
- [X] Controlla good latex - [X] Controlla good latex
- [X] Uppaal muovi cartella file - [X] Uppaal muovi cartella file
- [X] Rimuovi "Contents" da ogni .org - [X] Rimuovi "Contents" da ogni .org
@ -12,7 +12,8 @@
- [X] spiega nelle relazioni che bounded se RS finito - [X] spiega nelle relazioni che bounded se RS finito
- [X] spiega nelle relazioni che bounded quando coperta da p-semiflows - [X] spiega nelle relazioni che bounded quando coperta da p-semiflows
- [X] Vedi bisimulazione ed equivalenze in teoria analisi - [X] Vedi bisimulazione ed equivalenze in teoria analisi
- [ ] Teoria [0/8] - [ ] Che significa urgente in uppaal?
- [-] Teoria [1/13]
- [ ] Hierarchy of equivalences - [ ] Hierarchy of equivalences
- [ ] algebra.extra.lucca: internal/external choices - [ ] algebra.extra.lucca: internal/external choices
- [ ] Observer e testing equivalence - [ ] Observer e testing equivalence
@ -21,6 +22,11 @@
- [ ] Vedi da relazioni procedure dimostrazione deadlock - [ ] Vedi da relazioni procedure dimostrazione deadlock
- [ ] Impara equivalenze come le spiega lei - [ ] Impara equivalenze come le spiega lei
- [ ] Formalizza algoritmo bisimulazione - [ ] Formalizza algoritmo bisimulazione
- [ ] Vedi slide 42 ltl: liveness, safety, fairness, anche in CTL
- [ ] CTL e LTL: set operatori minimo per derivare altri
- [X] Manca CTL* ?
- [ ] Pstate?
- [ ] BDD e decision diagrams, tutto Amparore
- [X] rete A, b, c, d [6/6] - [X] rete A, b, c, d [6/6]
- [X] Spiega p-t-semiflows analysis: deadlock e liveness, boundness - [X] Spiega p-t-semiflows analysis: deadlock e liveness, boundness
- [X] sulle slide, quando si chiede come deve decidere il master - [X] sulle slide, quando si chiede come deve decidere il master