AdaCore Labs in categories Safety-Critical Development

  • TCP/IP stack for high-integrity systems

    Over the last few months AdaCore has been working on developing a TCP/IP stack suitable for use in high-integrity systems. Technical details are provided below. For more information on commercial support please contact

    Continue Reading »
    Thomas Quinot
    May 10th, 2012
  • GNATtest


    The new GNATtest tool helps create and maintain a complete unit testing infrastructure for complex projects. Based on AUnit, it captures the simple idea that each visible subprogram should have at least one corresponding unit test. GNATtest takes a project file as input, and produces two outputs:

    Continue Reading »
    Arnaud Charlet
    Jan 23rd, 2012