Formal verification of AI software

Rights
Public-domain status shown for US. http://creativecommons.org/licenses/publicdomain/