Rubriek: model checking methode