Lauterbach's “TRACE32” is, according to the company, the industry's first development tool suite to fully support the AdaCore GNAT Pro Ada compiler, which is designed for safety-critical applications ...