Mcqs slides mei se the, Robot Monitoring Sys aur last 3 topics ki slides imp hai *Short* - union of sets - universal quantifier - role of proofs - elems operator *Long* - difference operator - components of VDM-SL specifications - robustness aspects