• Testing or Formal Verification: DO-178C Alternatives and Industrial Experience »
  SPARK Pro | Certification | Embedded Development | Formal Methods | Safety-Critical Development | Testing
• DO-330/ED-215 Benefits of the New Tool Qualification Document »
  Certification | Modeling | Safety-Critical Development
• DO-178C/ED-12C vs DO-178B/ED-12B: Changes and Improvements »
  Certification | Embedded Development | Formal Methods | Safety-Critical Development
• High-Integrity Object-Oriented Programming in Ada »
  GNAT Pro | Runtime Profiles | GNATcheck | SPARK Pro | GNATstack | Ada | Certification | Safety-Critical Development
• Towards Certification of Object-Oriented Code with the GNAT Compiler »
  GNAT Pro | Ada Compiler | Runtime Profiles | Ada 2005 / 95 / 83 | Certification | Safety-Critical Development
• Couverture paper presented at ERTS² 2010 »
  GNATcoverage | GNATemulator | Ada 2005 / 95 / 83 | Certification | Embedded Development | Open Source | Safety-Critical Development
• Coverage and Free Software »
  GNAT Pro | GNATcoverage | GNATemulator | Certification | Open Source | Safety-Critical Development
• Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83 | Certification | Safety-Critical Development
• Safety, Security, and Object-Oriented Programming »
  Ada 2005 / 95 / 83 | Certification | High Security Development | Safety-Critical Development
• Certification & Object Orientation: The New Ada Answer »
  Ada 2005 / 95 / 83 | Certification | Safety-Critical Development
• Safety-Critical Design Techniques for Secure and Reliable Systems »
  SPARK Pro | Ada 2005 / 95 / 83 | Certification | High Security Development | Safety-Critical Development | Static Analysis
• Ada 2005 – Ready to Roll »
  Ada 2005 / 95 / 83 | Certification | Safety-Critical Development
• Ada 2005 for High-Integrity Systems »
  GNAT Pro | Runtime Profiles | Ada 2005 / 95 / 83 | Certification | Embedded Development | Safety-Critical Development
• Dynamic Plug-in Loading with Ada »
  GNAT Pro | Ada Compiler | Utilities | Runtime Profiles | Ada 2005 / 95 / 83 | Certification | Mixed Language | Safety-Critical Development
• High-Integrity Systems Development for Integrated Modular Avionics using VxWorks and GNAT »
  GNAT Pro | Ada Compiler | Runtime Profiles | Ada 2005 / 95 / 83 | Certification | Embedded Development | Safety-Critical Development