A History Of French Verification