I only caught half a dozen talks, and two of them talked about this exact point.
- Formal verification in Rocq, an exhaustive testing.