AdaCore: Build Software that Matters
Request Pricing

Tools

  • Compilation Toolchain
  • GNAT Pro
  • GNAT Pro for Ada
  • GNAT Pro for C/C++
  • GNAT Pro for Rust
  • Formal Proof
  • SPARK Pro
  • Static Analysis
  • GNAT Static Analysis for Ada
  • CodeSonar for C/C++
  • Dynamic Analysis
  • GNAT Dynamic Analysis Suite

    • Services

  • Training & Services
  • Enterprise Training
  • Public Training
  • Mentorship

    • Get an Overview

    Explore All Offerings

    Ready To Go?

    Contact a Technical Expert

    Languages

  • Ada
  • C/C++
  • Rust
  • SPARK

    • Ready To Go?

    Contact a Technical Expert

    Industries

  • Avionics
  • Automotive
  • Defense
  • Medical
  • Rail
  • Security
  • Space
    • NVIDIA case study

    Learn how NVIDIA Adopted SPARK for Security-Critical Software Development

    View Case Study

    Company

  • About AdaCore
  • Careers
  • Partners

    • Careers

    View Opportunities

    Explore Resources

  • Publications
  • Case Studies
  • Papers
  • Books
  • Videos
  • AdaCore Digest
  • More Resources
  • Newsroom
  • Blog
  • Events
  • AI Development
  • AdaCore's GitHub

    • The AdaCore Blog

    Explore

    AI Development

    Explore

    Community

  • Academia
  • Download
  • Learn Ada & SPARK
    • Ada

    Get Started with Ada

    Learn More

    Support

  • GNAT Tracker Login
  • Cybersecurity Center
  • Release Notes
  • Documentation
  • Development Logs
    • Fpo main nav bg 02

    Product Roadmap

    Learn More

    AdaCore Hero Image

    Content by M. Anthony Aiello

    Screenshot 2025 03 20 at 16 11 27

    M. Anthony Aiello

    Product Manager

    Tony Aiello is a Product Manager at AdaCore. Currently, he manages SPARK Pro and GNAT IQ.

    I Stock 2188198713
    [Video]

    SPARK Pro for Embedded and Systems Programming