Formal Verification of an UAV autopilot: Static analysis and Verified Code Generation

Baptiste Pollien, PhD
Project Slides

Date
Nov 16, 2023 10:00 AM
Location
ISAE-SUPAERO - Toulouse, FRANCE
Baptiste Pollien, PhD
Baptiste Pollien, PhD
Software Engineer HMI

I am a Software Engineer HMI at Ampere Software Technology.