L08: Symbolic model checking and ROBDDs. Bounded model checking.

Semester: 
2017. ősz