Domanda di colloquio di Qualcomm

Why are Verification Models written in C?