1. 12
  1.  

  2. 2

    Good they at least tried to use Galois’ tools for formal verification. The catch is software usually has to be developed with specific verification tools in mind to work within their limitations. They couldn’t use it in this case but Galois might improve it based on the feedback. Here those are:

    https://cryptol.net

    https://saw.galois.com