Rubriek: Model checking