Research2h ago
Apple Research Splits Testing and Verification Logic
A new Apple study proves that location-invariant properties of functions diverge from distribution properties during verification. While these two concepts align during testing, they separate when verifying system correctness. This distinction forces a rethink of how researchers validate symmetric functions. Practitioners must now apply different complexity bounds depending on whether they test or verify.