AdaCore Technical
Interchange Meeting

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

Agenda

  • 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 cyber security
  • DO-178 qualified Simulink to code generation

Slide Deck

Boeing Tech Day PPT 

Books and Collateral

WebEx Recording of Session

Available after the event

Contact

Ravi Jadhav
Account Manager
AdaCore
jadhav@adacore.com