Qualcomm interview question

Why are Verification Models written in C?