skip to main content
AdaCore AdaCore
  • Products
    • Overview
    • GNAT Pro
      • Overview
      • Assurance
      • Enterprise
      • Comparison
      • Toolsuite
    • GNAT Pro for Rust
    • GNAT Dynamic Analysis Suite
      • GNATcoverage
      • GNATtest
      • GNATfuzz
    • GNAT Static Analysis Suite
      • CodePeer
      • GNATcheck
      • GNATmetric
    • SPARK Pro
      • Overview
      • Demos
      • Use Cases
    • RecordFlux
    • 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
    • Videos
    • AdaCore Blog
    • Learn.adacore.com
  • Community
    • Overview
    • Academia
      • Overview
      • Projects
      • Universities
      • Register
      • Login
    • About Ada
    • About SPARK
    • Contact
  • Support
    • Overview
    • GNAT Tracker
    • Documentation
    • Dev Log
    • Cybersecurity Center
    • AdaCore Digest

Login to GNAT Tracker

Forgot your password?
GT Login Request Pricing
Overview Press Releases Articles Events Newsletter
 « Back to Event page

AdaCore Tech Days 2017 Slides

R&D Projects and Results
by Yannick Moy


Dealing with Platform Obsolescence
by Martyn Pike


Getting Started with SPARK Discovery
by Yannick Moy


Scaling Up with CodePeer
by Yannick Moy


GPS for Bare Metal Development
by Robert Tice


Code Coverage Approaches
by Robert Tice


AdaCore and the Ada/SPARK Community
by Nicolas Setton


Ada 2020 Update
by S. Tucker Taft


Formal Methods, Strong Languages, and other Lessons Learned
by Paul E. Black

Update on QGen 
by Tucker Taft


Lightweight Static Analysis with Libadalang
by Yannick Moy


Static Analysis Update
by Yannick Moy


Customizing GPS
by Nicolas Setton


The GNAT Run-Time Libraries
by Patrick Rogers


Sharing Across Projects Through Project Files
by Albert Lee


GNAT Pro Update
by Arnaud Charlet


Market Update and Commercial Offer Evolution
by Quentin Ochem

Get Started with Ada

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

Request Pricing

Help us understand your development needs and get you pricing information or an evaluation »

  • Products
  • GNAT Pro
  • GNAT Pro for Rust
  • GNAT Dynamic Analysis Suite
  • GNAT Static Analysis Suite
  • SPARK Pro
  • RecordFlux
  • Pricing
  • Terms and Conditions
  • Languages
  • Services
  • Certification & Qualification
  • Mentorship
  • Training
  • Consulting
  • Industries
  • Avionics
  • ATM
  • Space
  • Rail
  • Automotive
  • Defense
  • Security
  • Medical
  • Company
  • About AdaCore
  • Press Releases
  • Events
  • Executive Team
  • Careers
  • Our Customers
  • Partners
  • Contact
  • Resources
  • Overview
  • Case Studies
  • Books
  • Papers
  • Articles
  • Videos
  • AdaCore Blog
  • Learn.adacore.com
  • Community
  • Getting Started
  • About Ada
  • About SPARK
  • Contact
  • Academia
  • Overview
  • Projects
  • Universities
  • GAP Registration
  • GAP Login
  • Support
  • GNAT Tracker
  • Documentation
  • Dev Log
  • Cybersecurity Center
  • 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