true
Ada is a structured, statically typed, imperative programming language developed by the U.S. Department of Defense. Known for its strong typing, error checking, and reliability features, Ada is commonly used in safety-critical systems such as avionics, defense, and transportation systems.