[sn9]

Oh man I was literally googling stuff like this last night.

Did you know there were verification competitions? [0]

[0] https://alastairreid.github.io/verification-competitions/