Subject: Formal methods for software maintenance and evolution

26 general knowledge quiz questions. It should take around 6 minutes to complete all the questions.