F# verification