L08 (10.08.): Handling large state space in model checking

Semester: 
2020. ősz