based on what amw-zero stated, they're using it in the formal QC sense like ISO9001. In that context the two words have distinct meanings. I do agree that coll

based on what amw-zero stated, they're using it in the formal QC sense like ISO9001. In that context the two words have distinct meanings. I do agree that colloquially they can be used in different ways, but as we're talking about formal verification as a concept, in this case verification aligns with that definition.