This test helps you decide if you have the recommended prior knowledge for attending Model Checking. Participation is voluntary but highly recommended and should not take more than 10 minutes of your time.
Please note: This test is for your use only. The results of this test have no relevance for admission to the course. All data will be anonymized and treated confidentially.