• High-Integrity Object-Oriented Programming in Ada »
  GNAT Pro | Runtime Profiles | GNATcheck | SPARK Pro | GNATstack | Ada | Certification | Safety-Critical Development
• Compile-time stack requirements analysis with GCC »
  GNATstack | Ada 2005 / 95 / 83 | Static Analysis