skip to main content
AdaCore AdaCore
  • Products
    • Overview
    • GNAT Pro
      • Overview
      • Assurance
      • Enterprise
      • Comparison
      • Toolsuite
    • GNAT Dynamic Analysis Suite
      • GNATcoverage
      • GNATtest
      • GNATfuzz
    • GNAT Static Analysis Suite
      • CodePeer
      • GNATcheck
      • GNATmetric
    • SPARK Pro
      • Overview
      • Demos
      • Use Cases
    • RecordFlux
    • QGen
      • Overview
      • Demos
      • Debugger
      • FAQ
    • Ferrocene
    • Pricing
    • Terms and Conditions
    • Languages
  • Services
    • Overview
    • Certification & Qualification
    • Mentorship
    • Training
    • Consulting
  • Industries
    • Overview
    • Domains
      • Avionics
      • ATM
      • Space
      • Rail
      • Automotive
      • Defense
      • Security
      • Medical
    • Case Studies
    • Standards
      • DO-178
      • ESARR
      • CAP670-SWO1
      • CWE
      • EN 50128
      • FACE
      • ISO 26262
      • IEC 61508
  • Company
    • Overview
    • About AdaCore
    • Press Releases
    • Events
    • Executive Team
    • Careers
    • Our Customers
    • Partners
    • Contact Us
    • Legal
    • Privacy Policy
  • Resources
    • Overview
    • Case Studies
    • Books
    • Papers
    • Articles
    • AdaCore Blog
    • Documentation
    • Videos
    • Dev Log
    • Ada Gems
    • Newsletter
    • Learn.adacore.com
  • Community
    • Overview
    • Academia
      • Overview
      • Projects
      • Universities
      • Register
      • Login
    • About Ada
    • About SPARK
    • Contact
  • Support

Login to GNAT Tracker

Forgot your password?
GT Login Request Pricing
Resources
Overview Case Studies Books Papers Articles Documentation Videos Dev Log Ada Gems Newsletter AdaCore Blog

Books

AdaCore Technologies for Space Systems Software

Benjamin M. Brosgol & Jean-Paul Blanquart

AdaCore Technologies for FACE™ Software Developers

Benjamin M. Brosgol & Dudrey Smith

Ada for the Embedded C Developer

Quentin Ochem, Robert Tice, Gustavo A. Hoffmann, and Patrick Rogers

SPARK Ada for the MISRA C Developer

Yannick Moy

AdaCore Technologies for Cybersecurity

Roderick Chapman & Yannick Moy

Ada for the C++ or Java Developer

Quentin Ochem

AdaCore Technologies for DO‑178C / ED‑12C

Frédéric Pothon & Quentin Ochem

AdaCore Technologies for CENELEC EN 50128:2011

Jean-Louis Boulanger & Quentin Ochem

Implementation Guidance for the Adoption of SPARK

Embedded SPARK and Ada Use Cases

Multiple Authors

Safe and Secure Software - An Invitation to Ada 2012

John Barnes

Safe and Secure Software Updated for SPARK (Russian Translation)

Dissimilar tools: Use cases and impact on tool qualification level

Frédéric Pothon

DO-330/ED-215 Benefits of the New Tool Qualification Document

Frédéric Pothon

Source Code to Object Code Traceability Study

DO-178C/ED-12C vs DO-178B/ED-12B: Changes and Improvements

Frédéric Pothon

GNAT and Ada 2005

Javier Miranda & Edmond Schonberg

GNAT: The GNU Ada Compiler

Javier Miranda and Edmond Schonberg

Learn Ada Today

Visit our interactive platform designed to teach the Ada and SPARK languages. »

Request Pricing

Help us understand your development needs and request pricing or an evaluation »

  • Products
  • GNAT Pro
  • GNAT Dynamic Analysis Suite
  • GNAT Static Analysis Suite
  • SPARK Pro
  • RecordFlux
  • QGen
  • Ferrocene
  • Services
  • Support
  • Industries
  • Automotive
  • Avionics
  • Rail
  • Air Traffic
  • Space
  • Defense
  • Security
  • Resources
  • Case Studies
  • Books
  • Tech Papers
  • Documentation
  • Videos
  • Devlog
  • Company
  • About AdaCore
  • Careers
  • Contact
  • Customer Support
  • Login to GNAT Tracker
  • Expert Support
  • Contact Us
  • Pricing
  • News
  • Press Releases
  • Articles
  • Events
  • Inside AdaCore
  • Community
  • Getting Started
  • About Ada
  • About SPARK
  • Academia
  • Overview
  • Projects
  • Universities
  • GAP Login
  • Other AdaCore Sites
  • The AdaCore Blog
  • Learn.adacore.com
  • Make with Ada
Twitter LinkedIn YouTube GitHub RSS
Copyright © 2023 AdaCore. All rights reserved.   Legal   |  Privacy Policy   |  Code of Conduct