Pergunta de entrevista da empresa Qualcomm

Why are Verification Models written in C?