"1994Z"^^ . . . . . "AdaCore, Inc."@en . . . "AdaCore is a computer software company that provides open source software tools and expertise for the development of mission-critical, safety-critical, and security-critical software."@en . . . . .