Verifying the Mathematical Library of an UAV Autopilot with Frama-C

von Pollien, Baptiste
Veröffentlicht in FMICS (26. : 2021 : Online) Formal Methods for Industrial Critical Systems (2021)