Software code design, test, and verification