AdaCore, a trusted provider of software development and verification tools, today announced the availability of its flagship GNAT Pro Ada Development Environment for the Wind River® VxWorks® 7 real-time operating system (RTOS), on leading multi-core hardware platforms. GNAT Pro 18 now supports VxWorks 7 on the Arm (64-bit), Power (64-bit) and Intel (32-bit) architectures, under both Linux and Windows development environments.