Design and development of computer software for ensuring the correctness, consistency, and reliability of outputs generated by computational systems; Providing temporary use of on-line non-downloadable software for verifying the correctness and soundness of outputs and artifacts produced by computational systems through formal verification methods