Subject: Formal methods for software quality assurance

18 general knowledge quiz questions. It should take around 4 minutes to complete all the questions.