Post #1546550

@regehr @dpiponi that’s a problem with any kind of verification. In fact, that’s the validation problem (is the specification describing what we want) vs. the verification problem (does the implementation satisfy the specification). Validation would deserve a lot more focus from our community, especially in times of LLMs.