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
  • Papers
  • Books
  • Videos
  • AdaCore Digest
  • More Resources
  • Newsroom
  • Blog
  • Case Studies
  • Events
  • AdaCore's GitHub

    • The AdaCore Blog

    Explore

    Learn Ada & SPARK

    Explore

    Community

  • Academia
  • Download
    • Ada

    Get Started with Ada

    Learn More

    Support

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

    Product Roadmap

    Learn More

    AdaCore Hero Image

    US Air Force FACE™ Technical Interchange Meeting

    Event Details
    • []
    • September 17 - September 17, 2019
    • Dayton, OH
    Website

    Description

    AdaCore will be presenting “Verifying High-Assurance FACE™ Components with Ada and SPARK” and is also exhibiting at this event.

    The FACE™ TIM is an opportunity for Open Group FACE Consortium members to demonstrate their FACE certified and/or aligned products, present papers on utilization of the FACE Technical Standard, showcase efforts toward developing FACE applications for new war-fighting capabilities, and attend presentations from US Air Force leadership. Hundreds of Army, Navy, and Air Force personnel attend the yearly event, as well as other customer communities looking to learn more about the benefits of the FACE approach.

    AdaCore is a Principal in the FACE Consortium and participates actively in the definition of the FACE Technical Standard to ensure Ada’s role in the Safety capability sets.