Critical systems are systems whose failure could have catastrophic consequences, such as
the destruction of expensive equipment or the death of people. These systems are found in …

Ensuring safety of critical systems is crucial and is often attained by extensive testing of the
system. Formal methods are now commonly accepted as powerful tools to obtain …

This document is a preliminary state of the art for the formal verification of the autopilot of an
Unmanned Air Vehicle (UAV). We will first present UAV autopilots and more specifically the …