Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:svl:ay_1920:main [2020/04/27 18:52] luca [Material] |
didattica:magistrale:svl:ay_1920:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 108: | Line 108: | ||
| * {{ :didattica:magistrale:svl:ay_1920:5_-_linear_time_properties._liveness_properties.pdf |Liveness Properties}} | * {{ :didattica:magistrale:svl:ay_1920:5_-_linear_time_properties._liveness_properties.pdf |Liveness Properties}} | ||
| * {{ :didattica:magistrale:svl:ay_1920:6_-_linear_time_properties._decomposition_theorem.pdf |Decomposition Theorem}} | * {{ :didattica:magistrale:svl:ay_1920:6_-_linear_time_properties._decomposition_theorem.pdf |Decomposition Theorem}} | ||
| - | * {{ :didattica:magistrale:svl:ay_1920:7_-_linear_time_properties._fairness.pdf |Fairness}} | ||
| * {{ :didattica:magistrale:svl:ay_1920:linear_time_properties._regular_safety_properties.pdf |Regular Safety Properties}} | * {{ :didattica:magistrale:svl:ay_1920:linear_time_properties._regular_safety_properties.pdf |Regular Safety Properties}} | ||
| + | * {{ :didattica:magistrale:svl:ay_1920:7_-_linear_time_properties._fairness.pdf |Fairness}} | ||
| **Linear Time Logic (LTL)** | **Linear Time Logic (LTL)** | ||
| Line 166: | Line 166: | ||
| ===== Project ===== | ===== Project ===== | ||
| <WRAP box round center 95%> | <WRAP box round center 95%> | ||
| - | - TBD | + | - The text of the project can be found in the Google Classroom platform. |
| </WRAP> | </WRAP> | ||
