Subject: Formal system verification

14 general knowledge quiz questions. It should take around 3 minutes to complete all the questions.