Qualcomm Interview Question

Why are Verification Models written in C?