|
|
|
|
|
|
by 211BSD
1941 days ago
|
|
|
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. |
|
|