BDD og Verifikation
Et simpelt transitions system
BDD enkodning af transition system
Reachable States
Bisimulation
Hennessy-Milner Logik