AdaCore Technical
Interchange Meeting

Boeing, Mesa, AZ
March 5, 2020 – 9:00-11:00am


  • Market Trends, hardware, OS and programming languages
  • Technology update in the Ada and C++ toolchains
  • Static Analysis and Formal Proof
  • Testing, Coverage and Fuzzing Technologies
  • Evolutions of programming technologies for cybersecurity
  • DO-178 qualified Simulink to code generation

Slide Deck

Boeing Tech Day PPT 

Books and Collateral

WebEx Recording of Session

Available after the event


Ravi Jadhav
Account Manager