NEW YORK--(BUSINESS WIRE)--AdaCore, a trusted provider of software development and verification tools, today announces that ENYSE, part of the ACS group, has selected its GNAT Pro development ...