L05 (09.26): Formalization of properties using temporal logics. Checking HML properties.

Semester: 
2019. ősz