It won't and should not be used in mission-critical applications, but just for extra fun, one may still want it to be as correct as possible. Right now I'm writing a cryptography library in PDP-11 assembly while investigating tools for its formal verification. Cryptoline looks like a promising candidate.