L06 (10.01.): Checking LTL properties

Semester: 
2020. ősz