details Back

AdaCore’s GNAT Pro Ada development Environment combined with the LDRA tool suite helps embedded developers overcome the challenges of testing real-time Ada95/83 software in circumstances where safety, security, and reliability are critical.