overall paper was very easy. mcqs were mostly from paradox mcqs file. SQ1. What type of notations are called formal notations or formal languages. SQ2. What does it mean by Loc and Act in Program Graph LQ1. Write 4 advantages of formal methods LQ2. Effect waly topic me jo example thi wo ayi but variables ki values different thin