skip to main content
AdaCore AdaCore
  • Products
    • Overview
    • GNAT Pro
      • Overview
      • Assurance
      • Enterprise
      • Comparison
      • Toolsuite
    • CodePeer
      • Overview
      • Demos
    • SPARK Pro
      • Overview
      • Demos
      • Use Cases
    • QGen
      • Overview
      • Demos
      • Debugger
      • FAQ
    • GNAT Dynamic Analysis Suite
      • GNATcoverage
      • GNATtest
      • GNATfuzz
    • Pricing
    • Terms and Conditions
    • Languages
  • Services
    • Overview
    • Certification & Qualification
    • Mentorship
    • Training
    • Consulting
  • Industries
    • Overview
    • Domains
      • Avionics
      • ATM
      • Space
      • Rail
      • Automotive
      • Defense
      • Security
      • Medical
    • Projects
    • 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
    • Books
    • Papers
    • Articles
    • Documentation
    • Videos
    • Dev Log
    • Ada Gems
    • Newsletter
    • Learn.adacore.com
  • Community
    • Overview
    • Download
    • 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 Books Papers Articles Documentation Videos Dev Log Ada Gems Newsletter

Books

See More »

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
Learn.adacore.com Created with Sketch.

Interested in learning about Ada and SPARK?

Learn.adacore.com is our new interactive learning platform designed to teach the Ada and SPARK programming languages.

Papers

See More »
— Making Proofs of Floating-Point Programs Accessible to Regular Developers
— Streamlining Software Development with Certifiable Code Generation
— Making FACETM Units of Conformance Fully Portable: Coding Guidance for Ada
— How to Increase Military Software Innovation and Longevity through Reuse

Videos

See More »

Developing FACE™ conformant software in Ada

Tech Days 2021

HIS 2021: Fuzzing for Airworthiness Security


Articles

See More »

Le Journal de l'Aviation

Comment AdaCore s'impose toujours plus dans l'avionique et les systèmes embarqués

9/15/2021

IEEE Software Engineering Radio

Paul Butcher on Fuzz Testing

8/25/2021

Les Echos

Why3, la plateforme française de vérification des logiciels

6/3/2021

More Resources

Japanese

Japanese Learning Materials

Documentation

Product Documentation

Logbook

Dev Log

Code

Code Samples

Shape

Ada Gems

Newsletter

Newsletter



Get Started with Ada

Learn about the GNAT development environment and how to get started »

Request Pricing

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

  • Products
  • GNAT Pro
  • CodePeer
  • SPARK Pro
  • QGen
  • GNAT Dynamic Analyis Suite
  • Services
  • Support
  • Industries
  • Automotive
  • Avionics
  • Rail
  • Air Traffic
  • Space
  • Defense
  • Security
  • Resources
  • 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
  • Download
  • 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 © 2022 AdaCore. All rights reserved.   Legal   |  Privacy Policy   |  Code of Conduct