Computer software for the analysis and verification of engineering designs, requirements documentation, and software code